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