diff options
Diffstat (limited to 'toplevel/coqtop.ml')
| -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 1f4bd4bbfb..a4770b348a 100644 --- a/toplevel/coqtop.ml +++ b/toplevel/coqtop.ml @@ -389,7 +389,6 @@ let parse_args arglist = |"-notop" -> unset_toplevel_name () |"-output-context" -> output_context := true |"-q" -> no_load_rc () - |"-quality" -> term_quality := true; no_load_rc () |"-quiet"|"-silent" -> Flags.make_silent true |"-quick" -> Flags.compilation_mode := BuildVi |"-time" -> Flags.time := true @@ -413,6 +412,7 @@ let parse_args arglist = |"-dont-load-proofs" -> warning "Obsolete option \"-dont-load-proofs\"." |"-force-load-proofs" -> warning "Obsolete option \"-force-load-proofs\"." |"-unsafe" -> warning "Obsolete option \"-unsafe\"."; ignore (next ()) + |"-quality" -> warning "Obsolete option \"-quality\"." (* Unknown option *) | s -> extras := s :: !extras |