From a6a7806a91275a3f509a920ee2e56f0f354a8e6c Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Sun, 30 Oct 2016 21:44:53 +0100
Subject: Moving Universes to the engine/ folder.

Before this patch, this module was a member of the library folder, which had
little to do with its actual use. A tiny part relative to global registering
of universe names has been effectively moved to the Global module.
---
 library/library.mllib | 1 -
 1 file changed, 1 deletion(-)

(limited to 'library/library.mllib')

diff --git a/library/library.mllib b/library/library.mllib
index 920657365..df4f73503 100644
--- a/library/library.mllib
+++ b/library/library.mllib
@@ -5,7 +5,6 @@ Libobject
 Summary
 Nametab
 Global
-Universes
 Lib
 Declaremods
 Loadpath
-- 
cgit v1.2.3