From d06d546cd9ce633b498dae647fd041cc290ca91d Mon Sep 17 00:00:00 2001
From: filliatr
Date: Tue, 6 Mar 2001 16:25:58 +0000
Subject: on gele apres un Require => meilleures performances memoire, en
 particulier pour Proof General

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

diff --git a/library/library.ml b/library/library.ml
index d1e162affc..ba41615a9e 100644
--- a/library/library.ml
+++ b/library/library.ml
@@ -191,7 +191,8 @@ let require_module spec name fileopt export =
     | None -> name
     | Some f -> f 
   in
-  add_anonymous_leaf (in_require (name,file,export))
+  add_anonymous_leaf (in_require (name,file,export));
+  add_frozen_state ()
 
 (*s [save_module s] saves the module [m] to the disk. *)
 
-- 
cgit v1.2.3