From a51dda2344679dc6d9145f3f34acad29721f6c75 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net>
Date: Sat, 28 Apr 2018 19:26:21 +0200
Subject: Split off Universes functions dealing with generating new universes.

---
 interp/declare.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'interp')

diff --git a/interp/declare.ml b/interp/declare.ml
index 34bf5c8a2..bc2d2068a 100644
--- a/interp/declare.ml
+++ b/interp/declare.ml
@@ -564,7 +564,7 @@ let do_universe poly l =
   in
   let l =
     List.map (fun {CAst.v=id} ->
-      let lev = Universes.new_univ_id () in
+      let lev = UnivGen.new_univ_id () in
       (id, lev)) l
   in
   let src = if poly then BoundUniv else UnqualifiedUniv in
-- 
cgit v1.2.3