From 9043add656177eeac1491a73d2f3ab92bec0013c Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@debian.org>
Date: Sat, 29 Dec 2018 14:31:27 -0500
Subject: Imported Upstream version 8.8.2

---
 pretyping/pretyping.mllib | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'pretyping/pretyping.mllib')

diff --git a/pretyping/pretyping.mllib b/pretyping/pretyping.mllib
index c8b3307d..ae4ad0be 100644
--- a/pretyping/pretyping.mllib
+++ b/pretyping/pretyping.mllib
@@ -1,7 +1,10 @@
+Geninterp
+Ltac_pretype
 Locusops
 Pretype_errors
 Reductionops
 Inductiveops
+InferCumulativity
 Vnorm
 Arguments_renaming
 Nativenorm
@@ -29,3 +32,4 @@ Indrec
 Cases
 Pretyping
 Unification
+Univdecls
-- 
cgit v1.2.3