diff options
Diffstat (limited to 'toplevel')
-rw-r--r-- | toplevel/coqtop.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml index 860ef2e61..6e5019adb 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 |