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

---
 pretyping/pretyping.mllib | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'pretyping/pretyping.mllib')

diff --git a/pretyping/pretyping.mllib b/pretyping/pretyping.mllib
index ae4ad0be..5da5aff4 100644
--- a/pretyping/pretyping.mllib
+++ b/pretyping/pretyping.mllib
@@ -1,5 +1,5 @@
 Geninterp
-Ltac_pretype
+Locus
 Locusops
 Pretype_errors
 Reductionops
@@ -14,11 +14,14 @@ Find_subterm
 Evardefine
 Evarsolve
 Recordops
+Heads
 Evarconv
 Typing
 Miscops
+Glob_term
+Ltac_pretype
 Glob_ops
-Redops
+Pattern
 Patternops
 Constr_matching
 Tacred
@@ -32,4 +35,3 @@ Indrec
 Cases
 Pretyping
 Unification
-Univdecls
-- 
cgit v1.2.3