diff options
| -rw-r--r-- | lib/flags.ml | 2 | ||||
| -rw-r--r-- | toplevel/coqtop.ml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/lib/flags.ml b/lib/flags.ml index a48d059556..b4f6272acf 100644 --- a/lib/flags.ml +++ b/lib/flags.ml @@ -63,7 +63,7 @@ let if_silent f x = if !silent then f x let if_verbose f x = if not !silent then f x (* Use terminal color *) -let term_color = ref true +let term_color = ref false let make_term_color b = term_color := b let is_term_color () = !term_color diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml index 860ef2e61c..6e5019adb8 100644 --- a/toplevel/coqtop.ml +++ b/toplevel/coqtop.ml @@ -303,7 +303,7 @@ let parse_args arglist = | "-filteropts" :: rem -> filter_opts := true; parse rem - | "-nocolor" :: rem -> Flags.make_term_color false; parse rem + | "-color" :: rem -> Flags.make_term_color true; parse rem | s :: rem -> if !filter_opts then |