From 05f8d0d873fec4000d597e9a370049e7a42ecae2 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Thu, 6 Mar 2014 17:35:24 +0100
Subject: [PATCH] allow to build Or[], returning false

---
 smt/smt.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/smt/smt.ml b/smt/smt.ml
index cb259921..eb308390 100644
--- a/smt/smt.ml
+++ b/smt/smt.ml
@@ -459,7 +459,7 @@ end
   let ( @ ) = `Use_rev_append_instead   (* prevent use of non-tailrec append *)
 
   let make_or = function
-    | [] -> assert false
+    | [] -> f_false
     | [a] -> a
     | l -> Comb (Or, l)