From a4c7f8bd98be2a200489325ff7c5061cf80ab4f3 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <gareuselesinge@debian.org>
Date: Tue, 27 Dec 2016 16:53:30 +0100
Subject: Imported Upstream version 8.6

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

(limited to 'pretyping/pretyping.mllib')

diff --git a/pretyping/pretyping.mllib b/pretyping/pretyping.mllib
index a644e3d1..c8b3307d 100644
--- a/pretyping/pretyping.mllib
+++ b/pretyping/pretyping.mllib
@@ -1,7 +1,5 @@
 Locusops
-Termops
-Namegen
-Evd
+Pretype_errors
 Reductionops
 Inductiveops
 Vnorm
@@ -9,9 +7,8 @@ Arguments_renaming
 Nativenorm
 Retyping
 Cbv
-Pretype_errors
 Find_subterm
-Evarutil
+Evardefine
 Evarsolve
 Recordops
 Evarconv
-- 
cgit v1.2.3