diff options
| author | Théo Zimmermann | 2019-11-27 17:12:49 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-11-27 17:12:49 +0100 |
| commit | 353b601323ffd7d5b4acc3c02de985b27cddc8e5 (patch) | |
| tree | b338e79bab19d6ef8fe7bf0211fd94516ec010bc /toplevel | |
| parent | 2184cdb9df3b2f3727fccf0933c2c7e89f8b79a1 (diff) | |
| parent | cec1688022638679300af01c56fc6af908ae0681 (diff) | |
Merge PR #11158: [release] Update files for 8.12 release per release process.
Reviewed-by: Zimmi48
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 8dd1c45024..e3116550d9 100644 --- a/toplevel/coqargs.ml +++ b/toplevel/coqargs.ml @@ -178,7 +178,8 @@ let add_compat_require opts v = match v with | Flags.V8_9 -> add_vo_require opts "Coq.Compat.Coq89" 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) + | Flags.V8_11 -> add_vo_require opts "Coq.Compat.Coq811" None (Some false) + | Flags.Current -> add_vo_require opts "Coq.Compat.Coq812" 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 }} |