1 files changed, 13 insertions, 4 deletions
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