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

---
 engine/engine.mllib | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

(limited to 'engine/engine.mllib')

diff --git a/engine/engine.mllib b/engine/engine.mllib
index 9ce5af81..a3614f6c 100644
--- a/engine/engine.mllib
+++ b/engine/engine.mllib
@@ -1,11 +1,13 @@
-Logic_monad
-Termops
-Namegen
+Universes
+Univops
 UState
+Nameops
 Evd
-Sigma
-Proofview_monad
+EConstr
+Namegen
+Termops
 Evarutil
+Logic_monad
+Proofview_monad
 Proofview
 Ftactic
-Geninterp
-- 
cgit v1.2.3