From 4ca441fa38350eada3eda74e7a8424da41e60749 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sat, 19 Jan 2019 15:57:18 -0600
Subject: [PATCH] fix(core): cancel-until 0 before solving

---
 src/core/Internal.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/core/Internal.ml b/src/core/Internal.ml
index 8220f87c..eb2e2ffb 100644
--- a/src/core/Internal.ml
+++ b/src/core/Internal.ml
@@ -1950,6 +1950,7 @@ module Make(Plugin : PLUGIN)
     add_clause_ st c
 
   let solve (st:t) ?(assumptions=[]) () =
+    cancel_until st 0;
     Vec.clear st.assumptions;
     List.iter (Vec.push st.assumptions) assumptions;
     try