From bb6f20a2ee88f264fa2c73c5a3ed306008791f7d Mon Sep 17 00:00:00 2001
From: coq
Date: Thu, 19 Dec 2002 16:57:45 +0000
Subject: Petit netoyage dans lib

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3463 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 pretyping/termops.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pretyping/termops.ml')

diff --git a/pretyping/termops.ml b/pretyping/termops.ml
index 63b613972c..c936987839 100644
--- a/pretyping/termops.ml
+++ b/pretyping/termops.ml
@@ -36,7 +36,7 @@ let new_univ =
   let univ_gen = ref 0 in
   (fun sp ->
     incr univ_gen; 
-    Univ.make_univ (Lib.module_dp(),!univ_gen))
+    Univ.make_univ (Lib.library_dp(),!univ_gen))
 
 let new_sort_in_family = function 
   | InProp -> mk_Prop
-- 
cgit v1.2.3