1 files changed, 2 insertions, 2 deletions
diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml
index 0cd5498fe..4968804fd 100644
--- a/toplevel/coqtop.ml
+++ b/toplevel/coqtop.ml
@@ -653,10 +653,10 @@ let init_toplevel arglist =
       flush_all();
       let msg =
         if !batch_mode then mt ()
-        else str "Error during initialization:" ++ fnl ()
+        else str "Error during initialization: " ++ CErrors.iprint any ++ fnl ()
       in
       let is_anomaly e = CErrors.is_anomaly e || not (CErrors.handled e) in
-      fatal_error (msg ++ Coqloop.print_toplevel_error any) (is_anomaly (fst any))
+      fatal_error msg (is_anomaly (fst any))
   end;
   if !batch_mode then begin
     flush_all();