diff options
author | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2017-04-07 10:05:12 +0200 |
---|---|---|
committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2017-06-14 07:21:16 +0200 |
commit | 165e3000844c1e84cc5c9d1b579a0a7dab8a3684 (patch) | |
tree | 10ab27d72d6eee3a4a950edcef7543597fcb94a7 /toplevel | |
parent | bcaf9af83363f3e1a1c588271e5038984ee1760b (diff) |
Add support for Coq 8.6.
Diffstat (limited to 'toplevel')
-rw-r--r-- | toplevel/coqtop.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml index 3e4365605..5f0716fd9 100644 --- a/toplevel/coqtop.ml +++ b/toplevel/coqtop.ml @@ -206,7 +206,8 @@ let require () = let add_compat_require v = match v with | Flags.V8_5 -> add_require "Coq.Compat.Coq85" - | _ -> () + | Flags.V8_6 -> add_require "Coq.Compat.Coq86" + | Flags.VOld | Flags.Current -> () let compile_list = ref ([] : (bool * string) list) |