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 edb03fb62b..1f4bd4bbfb 100644 --- a/toplevel/coqtop.ml +++ b/toplevel/coqtop.ml @@ -359,7 +359,6 @@ let parse_args arglist = |"-print-mod-uid" -> Flags.print_mod_uid := true; add_require (next ()) |"-require" -> add_require (next ()) |"-top" -> set_toplevel_name (dirpath_of_string (next ())) - |"-unsafe" -> add_unsafe (next ()) |"-with-geoproof" -> Coq_config.with_geoproof := get_bool opt (next ()) |"-main-channel" -> Spawned.main_channel := get_host_port opt (next()) |"-control-channel" -> Spawned.control_channel := get_host_port opt (next()) @@ -413,6 +412,7 @@ let parse_args arglist = |"-lazy-load-proofs" -> warning "Obsolete option \"-lazy-load-proofs\"." |"-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 ()) (* Unknown option *) | s -> extras := s :: !extras |