Types of primitives don't count as repeated subterms for printing.

Fixes #1175.
GaloisInc · Apr 28, 2021 · 760fd82 · 760fd82
1 parent 7b8c134
commit 760fd82
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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