From 0a59387d05c10195d461d82ffeab00472250a0c6 Mon Sep 17 00:00:00 2001
From: Jakob Rath <git@jakobrath.eu>
Date: Thu, 20 Jan 2022 17:44:57 +0100
Subject: [PATCH] extra propagate

---
 src/math/polysat/mul_ovfl_constraint.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/math/polysat/mul_ovfl_constraint.cpp b/src/math/polysat/mul_ovfl_constraint.cpp
index 441b68876..33b2b1113 100644
--- a/src/math/polysat/mul_ovfl_constraint.cpp
+++ b/src/math/polysat/mul_ovfl_constraint.cpp
@@ -140,7 +140,6 @@ namespace polysat {
         clause_ref just = cb.build();
         SASSERT(just);
         s.add_clause(*just);
-        s.propagate();
         SASSERT(s.m_bvars.is_true(conseq.blit()));
         return true;
     }