diff options
| author | Théo Zimmermann | 2018-08-17 11:42:14 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-08-17 11:42:14 +0200 |
| commit | 066d6c657f6bf292969a58cd85cc5650721e5103 (patch) | |
| tree | bd3873ed77fed3b091e604a833bd08a33562b139 | |
| parent | 8b176e3b0e42b34db3165d9e1ce45fff0e581335 (diff) | |
Remove dead argument allow_old.
| -rw-r--r-- | toplevel/coqargs.ml | 2 | ||||
| -rw-r--r-- | vernac/g_vernac.mlg | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/toplevel/coqargs.ml b/toplevel/coqargs.ml index 900964609d..113ba3684c 100644 --- a/toplevel/coqargs.ml +++ b/toplevel/coqargs.ml @@ -425,7 +425,7 @@ let parse_args arglist : coq_cmdopts * string list = |"-worker-id" -> set_worker_id opt (next ()); oval |"-compat" -> - let v = G_vernac.parse_compat_version ~allow_old:false (next ()) in + let v = G_vernac.parse_compat_version (next ()) in Flags.compat_version := v; add_compat_require oval v diff --git a/vernac/g_vernac.mlg b/vernac/g_vernac.mlg index b959f2afa9..74516e320c 100644 --- a/vernac/g_vernac.mlg +++ b/vernac/g_vernac.mlg @@ -59,7 +59,7 @@ let make_bullet s = | '*' -> Star n | _ -> assert false -let parse_compat_version ?(allow_old = true) = let open Flags in function +let parse_compat_version = let open Flags in function | "8.8" -> Current | "8.7" -> V8_7 | "8.6" -> V8_6 |