From a028e70817e7fd43b35643a8faa9bc7f59897ddb Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 9 Nov 2020 14:55:23 +0100
Subject: [compat] remove 8.10

---
 toplevel/coqargs.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'toplevel')

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 ->
-- 
cgit v1.2.3