replaced addAssertion with addAssertionPreproc

uuverifiers · Sep 15, 2024 · 706b31a · 706b31a
1 parent be9f17c
commit 706b31a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/scala/lazabs/horn/symex/Symex.scala b/src/main/scala/lazabs/horn/symex/Symex.scala
@@ -435,7 +435,7 @@ abstract class Symex[CC](iClauses:    Iterable[CC])(
 
   private def checkFeasibility(constraint: Conjunction): ProverStatus.Value = {
     prover.scope {
-      prover.addAssertion(constraint)
+      prover.addAssertionPreproc(constraint)
       prover.???
     }
   }