diff --git a/src/main.ml b/src/main.ml
index 6aa9a0b1de4dcb1fe21ad77004ee07602d5b30ad..981eba2ca745173e1d29004014735d0ea6418297 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -176,11 +176,10 @@ let default_cmd =
     Term.info caisar ~version ~doc ~sdocs ~exits:Term.default_exits ~man )
 
 let () =
-  try
-    match
-      Term.(eval_choice ~catch:false default_cmd [ config_cmd; verify_cmd ])
-    with
-    | `Error _ -> Caml.exit 1
-    | _ -> Caml.exit (if Logs.err_count () > 0 then 1 else 0)
-  with exn when not (log_level_is_debug ()) ->
+  match
+    Term.(eval_choice ~catch:false default_cmd [ config_cmd; verify_cmd ])
+  with
+  | `Error _ -> Caml.exit 1
+  | _ -> Caml.exit (if Logs.err_count () > 0 then 1 else 0)
+  | exception exn when not (log_level_is_debug ()) ->
     Fmt.epr "%a@." Why3.Exn_printer.exn_printer exn