From 17da7c41b17da3280cb2c182387685ad4be6022f Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 23 Nov 2020 16:47:06 +0100
Subject: Update compat infrastructure for 8.14

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

(limited to 'toplevel')

diff --git a/toplevel/coqargs.ml b/toplevel/coqargs.ml
index ec339c69c6..fbf3b4873b 100644
--- a/toplevel/coqargs.ml
+++ b/toplevel/coqargs.ml
@@ -261,6 +261,7 @@ let get_native_name s =
   with _ -> ""
 
 let get_compat_file = function
+  | "8.14" -> "Coq.Compat.Coq814"
   | "8.13" -> "Coq.Compat.Coq813"
   | "8.12" -> "Coq.Compat.Coq812"
   | "8.11" -> "Coq.Compat.Coq811"
-- 
cgit v1.2.3