From 165e3000844c1e84cc5c9d1b579a0a7dab8a3684 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Fri, 7 Apr 2017 10:05:12 +0200
Subject: Add support for Coq 8.6.

---
 toplevel/coqtop.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml
index 3e43656056..5f0716fd9f 100644
--- a/toplevel/coqtop.ml
+++ b/toplevel/coqtop.ml
@@ -206,7 +206,8 @@ let require () =
 let add_compat_require v =
   match v with
   | Flags.V8_5 -> add_require "Coq.Compat.Coq85"
-  | _ -> ()
+  | Flags.V8_6 -> add_require "Coq.Compat.Coq86"
+  | Flags.VOld | Flags.Current -> ()
 
 let compile_list = ref ([] : (bool * string) list)
 
-- 
cgit v1.2.3