From fcacc0344be0560b981dfa63b9c6e634a302573c Mon Sep 17 00:00:00 2001
From: nartan <bozec.tanguy@gmail.com>
Date: Thu, 8 Feb 2024 13:16:07 +0100
Subject: [PATCH] bug fix

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

diff --git a/src/core/Literals.ml b/src/core/Literals.ml
index b48302faf..10a90aa0c 100644
--- a/src/core/Literals.ml
+++ b/src/core/Literals.ml
@@ -280,7 +280,7 @@ module Conv = struct
                    |> CCList.map (fun v -> T.Conv.to_simple_term ctx (T.var v))  in
         let disjuncts =
           match or_args with
-          | [] -> assert false
+          | [] -> TypedSTerm.app_builtin ~ty Builtin.false_ []
           | [disj] -> disj
           | _ -> TypedSTerm.app_builtin ~ty Builtin.or_ or_args in
         TypedSTerm.close_with_vars vars disjuncts