Initialize styles so textual markers are used when color is not enabled

1 files changed, 3 insertions, 2 deletions

diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml
index 92ac200bc0..f2c24807b8 100644
--- a/toplevel/coqtop.ml
+++ b/toplevel/coqtop.ml
@@ -94,8 +94,9 @@ let init_color opts =
       | Some "" -> false                              (* No color output *)
       | Some s -> Topfmt.parse_color_config s; true   (* Overwrite all colors *)
     end
-    else
-      false
+    else begin
+      Topfmt.default_styles (); false                 (** textual markers, no color *)
+    end
   in
   if Proof_diffs.show_diffs () && not term_color then
     (prerr_endline "Error: -diffs requires enabling -color"; exit 1);