diff options
| author | Pierre-Marie Pédrot | 2019-10-07 14:08:32 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-10-07 14:08:46 +0200 |
| commit | aa728e094d40d09e3d414b961e7b6d9fedebc9fd (patch) | |
| tree | 6821376baa16fbe9e0438f40ed664d0e37a07b86 /toplevel | |
| parent | 03d4f975e040c3f21308b6bf4895d8f0d355f415 (diff) | |
Call to update-compat.py.
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/coqargs.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/toplevel/coqargs.ml b/toplevel/coqargs.ml index 113b1fb5d7..ba69035758 100644 --- a/toplevel/coqargs.ml +++ b/toplevel/coqargs.ml @@ -178,7 +178,8 @@ let add_compat_require opts v = match v with | Flags.V8_8 -> add_vo_require opts "Coq.Compat.Coq88" None (Some false) | Flags.V8_9 -> add_vo_require opts "Coq.Compat.Coq89" None (Some false) - | Flags.Current -> add_vo_require opts "Coq.Compat.Coq810" None (Some false) + | Flags.V8_10 -> add_vo_require opts "Coq.Compat.Coq810" None (Some false) + | Flags.Current -> add_vo_require opts "Coq.Compat.Coq811" None (Some false) let add_load_vernacular opts verb s = { opts with pre = { opts.pre with load_vernacular_list = (CUnix.make_suffix s ".v",verb) :: opts.pre.load_vernacular_list }} |