Removing useless exception catch

Stevendeo · Dec 15, 2023 · 3b57ab0 · 3b57ab0
1 parent f55c1ac
commit 3b57ab0
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/lib/reasoners/satml_frontend.ml b/src/lib/reasoners/satml_frontend.ml
@@ -1274,7 +1274,6 @@ module Make (Th : Theory.S) : Sat_solver_sig.S = struct
           )dep true
       end;
       dep
-    | (Util.Timeout | I_dont_know ) as e -> raise e
 
   let assume env gf _dep =
     (* dep currently not used. No unsat-cores in satML yet *)