diff options
Diffstat (limited to 'toplevel/coqargs.ml')
| -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 -> |