diff --git a/src/main.ml b/src/main.ml
index 53efcc8fd38cba1b0c77f26e4d48713125c7d326..fb405301b04a3a5f29bbb7b59aa56d833a9e9ea3 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -220,4 +220,4 @@ let () =
     Cmd.group ~default:default_cmd default_info [ config_cmd; verify_cmd ]
     |> Cmd.eval ~catch:false |> Caml.exit
   with exn when not (log_level_is_debug ()) ->
-    Fmt.epr "%a@." Why3.Exn_printer.exn_printer exn
+    Logs.err (fun m -> m "@[%a@]" Why3.Exn_printer.exn_printer exn)