From 302adae094bbf76d8c951c557c85acb12a97aedc Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net>
Date: Sat, 28 Apr 2018 21:27:15 +0200
Subject: Split off Universes functions about substitutions and constraints

---
 engine/engine.mllib | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'engine/engine.mllib')

diff --git a/engine/engine.mllib b/engine/engine.mllib
index 512908e13..befd49dc9 100644
--- a/engine/engine.mllib
+++ b/engine/engine.mllib
@@ -1,5 +1,7 @@
 UnivNames
 UnivGen
+UnivSubst
+UnivProblem
 Universes
 Univops
 UState
-- 
cgit v1.2.3