From 760fd82cf6b68290182ef32253279311f9d1ad2d Mon Sep 17 00:00:00 2001 From: Brian Huffman Date: Wed, 28 Apr 2021 16:46:57 -0700 Subject: [PATCH] Types of primitives don't count as repeated subterms for printing. Fixes #1175. --- saw-core/src/Verifier/SAW/Term/Pretty.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/saw-core/src/Verifier/SAW/Term/Pretty.hs b/saw-core/src/Verifier/SAW/Term/Pretty.hs index 77b6416ae4..05f50fab25 100644 --- a/saw-core/src/Verifier/SAW/Term/Pretty.hs +++ b/saw-core/src/Verifier/SAW/Term/Pretty.hs @@ -536,6 +536,7 @@ scTermCount doBinders t0 = execState (go [t0]) IntMap.empty Lambda _ t1 _ | not doBinders -> [t1] Pi _ t1 _ | not doBinders -> [t1] Constant{} -> [] + FTermF (Primitive _) -> [] tf -> Fold.toList tf -- | Return true if the printing of the given term should be memoized; we do not