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

Fixes #1175.
GaloisInc · May 7, 2021 · 39f41fa · 39f41fa
1 parent 2d92f2a
commit 39f41fa
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
@@ -527,6 +527,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