From 2e7e947b626abcabb61642ce8d7382368a3043da Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Fri, 25 Nov 2016 15:16:10 +0100
Subject: [PATCH] Allow level 0 semantic propagations

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

diff --git a/src/core/internal.ml b/src/core/internal.ml
index 2fddf578..932f236e 100644
--- a/src/core/internal.ml
+++ b/src/core/internal.ml
@@ -502,7 +502,6 @@ module Make
     let l = List.map St.add_term terms in
     let lvl = List.fold_left (fun acc {l_level; _} ->
         assert (l_level > 0); max acc l_level) 0 l in
-    assert (lvl > 0);
     Iheap.grow_to_at_least env.order (St.nb_elt ());
     enqueue_bool a lvl Semantic