From ed04b8eb07ca3925af852c30a75c553c134f7d72 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Mon, 29 Oct 2018 17:56:10 +0100
Subject: Local universes for opaque polymorphic constants.

---
 theories/Compat/Coq89.v | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'theories')

diff --git a/theories/Compat/Coq89.v b/theories/Compat/Coq89.v
index 49b9e4c951..81a087b525 100644
--- a/theories/Compat/Coq89.v
+++ b/theories/Compat/Coq89.v
@@ -10,3 +10,5 @@
 
 (** Compatibility file for making Coq act similar to Coq v8.9 *)
 Local Set Warnings "-deprecated".
+
+Unset Private Polymorphic Universes.
-- 
cgit v1.2.3