Merge pull request #1276 from GaloisInc/issue1175

Types of primitives don't count as repeated subterms for printing.
GaloisInc · May 18, 2021 · 6c6fa3c · 6c6fa3c
2 parents 7063225 + a54ceaf
commit 6c6fa3c
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