bug fix

sneeuwballen · Feb 8, 2024 · 050072e · 050072e
1 parent a22e976
commit 050072e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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