From 287ddd7fb40439549d296195d41529d5ebce4272 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 3 Oct 2003 22:36:21 +0000
Subject: Correction bug explosion de la taille de la liste loaded_modules

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4521 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/mltop.ml4 | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/toplevel/mltop.ml4 b/toplevel/mltop.ml4
index d531d1d2e5..fec06f6e8b 100644
--- a/toplevel/mltop.ml4
+++ b/toplevel/mltop.ml4
@@ -221,10 +221,11 @@ let load_object mname fname=
 
 (* Summary of declared ML Modules *)
 
-(* List and not Strinset because order is important *)
+(* List and not Stringset because order is important *)
 let loaded_modules = ref []
 let get_loaded_modules () = !loaded_modules
-let add_loaded_module md = loaded_modules := md :: !loaded_modules
+let add_loaded_module md = 
+  loaded_modules := md :: list_except md !loaded_modules
 
 let orig_loaded_modules = ref !loaded_modules
 let init_ml_modules () = loaded_modules := !orig_loaded_modules
-- 
cgit v1.2.3