From 3e9c0d3a1edd44dc88b6126e5f976933679cf324 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 27 Jul 2016 17:58:15 +0200
Subject: [PATCH] forgot to pop before assume

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

diff --git a/src/core/internal.ml b/src/core/internal.ml
index a366a7fb..01ed933d 100644
--- a/src/core/internal.ml
+++ b/src/core/internal.ml
@@ -1146,6 +1146,7 @@ module Make
     with Sat -> ()
 
   let assume ?tag cnf =
+    if env.base_level > 0 then pop_assumptions ();
     List.iter
       (fun l ->
         let atoms = List.rev_map atom l in