From 79183b6339fd48cf6e984edd6f2938defde64ec7 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 31 Mar 2020 20:10:51 -0700
Subject: [PATCH] say no to local search + parallel #3636

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/sat/sat_solver.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/sat/sat_solver.cpp b/src/sat/sat_solver.cpp
index 8b542097f..0d6edd3ab 100644
--- a/src/sat/sat_solver.cpp
+++ b/src/sat/sat_solver.cpp
@@ -1154,6 +1154,7 @@ namespace sat {
                 if (mdl[v] != l_true) l.neg();
                 push();
                 assign_core(l, justification(scope_lvl()));
+                propagate(false);
             }
             mk_model();
             break;