From eb14a1e229709d1d2a814eec067a06c430de35d8 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Thu, 28 Jul 2016 10:47:59 +0200
Subject: [PATCH] fix

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

diff --git a/src/core/internal.ml b/src/core/internal.ml
index 2142b26e..ca4a7e39 100644
--- a/src/core/internal.ml
+++ b/src/core/internal.ml
@@ -663,7 +663,7 @@ module Make
       (* visit the current predecessors *)
       for j = 0 to Array.length !c.atoms - 1 do
         let q = !c.atoms.(j) in
-        assert (q.is_true || q.neg.is_true && q.var.v_level >= env.base_level); (* unsure? *)
+        assert (q.is_true || q.neg.is_true && q.var.v_level >= 0); (* unsure? *)
         if q.var.v_level <= env.base_level then begin
           assert (q.neg.is_true);
           match q.var.reason with