From 81ed24a15d78415e9524fd81323e728bae0450f5 Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Fri, 31 Aug 2018 17:36:39 -0400
Subject: Make -compat 8.8 import Coq.Compat.Coq88

Fixes #8311
---
 toplevel/coqargs.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'toplevel')

diff --git a/toplevel/coqargs.ml b/toplevel/coqargs.ml
index 113ba3684c..98a28bb2b6 100644
--- a/toplevel/coqargs.ml
+++ b/toplevel/coqargs.ml
@@ -154,7 +154,7 @@ let add_compat_require opts v =
   match v with
   | Flags.V8_6 -> add_vo_require opts "Coq.Compat.Coq86" None (Some false)
   | Flags.V8_7 -> add_vo_require opts "Coq.Compat.Coq87" None (Some false)
-  | Flags.Current -> opts
+  | Flags.Current -> add_vo_require opts "Coq.Compat.Coq88" None (Some false)
 
 let set_batch_mode opts =
   Flags.quiet := true;
-- 
cgit v1.2.3