Removing exhaustive exception catch in satml_frontend

Stevendeo · Dec 15, 2023 · f55c1ac · f55c1ac
1 parent 233e472
commit f55c1ac
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/src/lib/reasoners/satml_frontend.ml b/src/lib/reasoners/satml_frontend.ml
@@ -1275,11 +1275,6 @@ module Make (Th : Theory.S) : Sat_solver_sig.S = struct
       end;
       dep
     | (Util.Timeout | I_dont_know ) as e -> raise e
-    | e ->
-      Printer.print_dbg
-        ~module_name:"Satml_frontend" ~function_name:"unsat"
-        "%s" (Printexc.to_string e);
-      assert false
 
   let assume env gf _dep =
     (* dep currently not used. No unsat-cores in satML yet *)