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
---
 parsing/prettyp.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'parsing')

diff --git a/parsing/prettyp.ml b/parsing/prettyp.ml
index 1aa337373f..0587bd9219 100644
--- a/parsing/prettyp.ml
+++ b/parsing/prettyp.ml
@@ -365,7 +365,7 @@ let rec print_library_entry with_values ent =
         (str " >>>>>>> Section " ++ pr_name oname ++ fnl ())
     | (oname,Lib.ClosedSection _) -> 
         (str " >>>>>>> Closed Section " ++ pr_name oname ++ fnl ())
-    | (_,Lib.CompilingModule (dir,_)) ->
+    | (_,Lib.CompilingLibrary (dir,_)) ->
 	(str " >>>>>>> Library " ++ pr_dirpath dir ++ fnl ())
     | (oname,Lib.OpenedModule _) ->
 	(str " >>>>>>> Module " ++ pr_name oname ++ fnl ())
-- 
cgit v1.2.3