diff options
| author | Enrico Tassi | 2020-11-09 14:55:23 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2020-11-09 14:55:23 +0100 |
| commit | a028e70817e7fd43b35643a8faa9bc7f59897ddb (patch) | |
| tree | efc5634ad427761d0f874474ea4c3ff895a59974 /toplevel | |
| parent | fcc82eaf6054cce65821fafafedd329dab732994 (diff) | |
[compat] remove 8.10
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/coqargs.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/toplevel/coqargs.ml b/toplevel/coqargs.ml index d587e57fd8..c6ccf2a427 100644 --- a/toplevel/coqargs.ml +++ b/toplevel/coqargs.ml @@ -266,8 +266,7 @@ let get_compat_file = function | "8.13" -> "Coq.Compat.Coq813" | "8.12" -> "Coq.Compat.Coq812" | "8.11" -> "Coq.Compat.Coq811" - | "8.10" -> "Coq.Compat.Coq810" - | ("8.9" | "8.8" | "8.7" | "8.6" | "8.5" | "8.4" | "8.3" | "8.2" | "8.1" | "8.0") as s -> + | ("8.10" | "8.9" | "8.8" | "8.7" | "8.6" | "8.5" | "8.4" | "8.3" | "8.2" | "8.1" | "8.0") as s -> CErrors.user_err ~hdr:"get_compat_file" Pp.(str "Compatibility with version " ++ str s ++ str " not supported.") | s -> |