From 9ebf44d84754adc5b64fcf612c6816c02c80462d Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@debian.org>
Date: Sat, 2 Feb 2019 19:29:23 -0500
Subject: Imported Upstream version 8.9.0

---
 vernac/vernac.mllib | 17 +++++++++++++----
 1 file changed, 13 insertions(+), 4 deletions(-)

(limited to 'vernac/vernac.mllib')

diff --git a/vernac/vernac.mllib b/vernac/vernac.mllib
index f001b572..356951b6 100644
--- a/vernac/vernac.mllib
+++ b/vernac/vernac.mllib
@@ -1,10 +1,18 @@
+Vernacexpr
+Pvernac
+G_vernac
+G_proofs
 Vernacprop
-Proof_using
-Lemmas
 Himsg
 ExplainErr
-Class
 Locality
+Egramml
+Vernacinterp
+Ppvernac
+Proof_using
+Lemmas
+Class
+Egramcoq
 Metasyntax
 Auto_ind_decl
 Search
@@ -20,7 +28,8 @@ Classes
 Record
 Assumptions
 Vernacstate
-Vernacinterp
 Mltop
 Topfmt
 Vernacentries
+
+Misctypes
-- 
cgit v1.2.3