From 0caaf60ee4e6e18fb9d4d36e9d1514914d3bc1ba Mon Sep 17 00:00:00 2001
From: barras
Date: Mon, 13 Dec 1999 17:00:50 +0000
Subject: mise a jour de refiner.ml (reports de modifs de la V6.3) bug possible
 dans lib.ml

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

(limited to 'library')

diff --git a/library/lib.ml b/library/lib.ml
index a6686168da..8686495138 100644
--- a/library/lib.ml
+++ b/library/lib.ml
@@ -189,6 +189,7 @@ type frozen = library_segment
 
 let freeze () = !lib_stk
 
+(* module_name is not set ? *)
 let unfreeze stk =
   lib_stk := stk;
   recalc_path_prefix ()
-- 
cgit v1.2.3