diff options
| author | Jason Gross | 2018-10-03 12:06:02 -0400 |
|---|---|---|
| committer | Jason Gross | 2019-01-24 14:22:27 -0500 |
| commit | 218f45f4878fce3da520fae4694dad5653d8de4f (patch) | |
| tree | 9af58da7c61046b8de19b3e8fc3df968250ac46e /toplevel | |
| parent | 418a874a7f60864d8ab8c02952271c232bd3d38e (diff) | |
Update -compat to support -compat 8.10
This commit was created via `./dev/tools/update-compat.py --master`
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 0a32879764..eaa050bdce 100644 --- a/toplevel/coqargs.ml +++ b/toplevel/coqargs.ml @@ -165,7 +165,8 @@ let add_compat_require opts v = match v with | Flags.V8_7 -> add_vo_require opts "Coq.Compat.Coq87" None (Some false) | Flags.V8_8 -> add_vo_require opts "Coq.Compat.Coq88" None (Some false) - | Flags.Current -> add_vo_require opts "Coq.Compat.Coq89" 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) let set_batch_mode opts = (* XXX: This should be in the argument record *) |