From 39f41fa72de0071716ba8ad05dc53d972e1af3a3 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 d28e96c98d..eb4d82fd84 100644 --- 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