From f8f3ea06d9d8ffdd07d0d034b453d6495dd418c0 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Mon, 2 Nov 2020 15:16:32 +0100
Subject: Update compate Coq812.v

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

diff --git a/theories/Compat/Coq812.v b/theories/Compat/Coq812.v
index f52b559f84..992b00e834 100644
--- a/theories/Compat/Coq812.v
+++ b/theories/Compat/Coq812.v
@@ -11,4 +11,6 @@
 (** Compatibility file for making Coq act similar to Coq v8.12 *)
 
 Require Export Coq.Compat.Coq813.
+Local Set Warnings "-deprecated".
 Set Firstorder Solver auto with *.
+Export Set Instance Generalized Output.
-- 
cgit v1.2.3