From 3b57ab0426f41c9c219e73531c015ba8ec8404cd Mon Sep 17 00:00:00 2001 From: Steven de Oliveira Date: Fri, 15 Dec 2023 16:48:38 +0100 Subject: [PATCH] Removing useless exception catch --- src/lib/reasoners/satml_frontend.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/src/lib/reasoners/satml_frontend.ml b/src/lib/reasoners/satml_frontend.ml index 0d44ec0f4..e41546464 100644 --- 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 *)