1 files changed, 2 insertions, 1 deletions
diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml
index 5bf8cfb3b..83d693644 100644
--- a/toplevel/coqtop.ml
+++ b/toplevel/coqtop.ml
@@ -581,12 +581,13 @@ let init arglist =
       check_vi_tasks ();
       outputstate ()
     with any ->
+      let any = Errors.push any in
       flush_all();
       let msg =
         if !batch_mode then mt ()
         else str "Error during initialization:" ++ fnl ()
       in
-      fatal_error (msg ++ Coqloop.print_toplevel_error any) (Errors.is_anomaly any)
+      fatal_error (msg ++ Coqloop.print_toplevel_error any) (Errors.is_anomaly (fst any))
   end;
   if !batch_mode then begin
     flush_all();