From b47dc918ec6c4f1924124edad96090df9a027610 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= <cedric.pasteur@ens.fr>
Date: Mon, 2 May 2011 14:27:42 +0200
Subject: [PATCH] Fixed bug with loading modules

Do not forget to remember loaded modules
---
 compiler/global/modules.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/compiler/global/modules.ml b/compiler/global/modules.ml
index d526fc7..e4ee1ff 100644
--- a/compiler/global/modules.ml
+++ b/compiler/global/modules.ml
@@ -114,6 +114,7 @@ let _load_module modul =
                         of the compiler.@\nPlease recompile %s.ept first.@."
                        filename name;
         raise Errors.Error );
+      g_env.loaded_mod <- modul::g_env.loaded_mod;
       _append_module mo
     with
       | Compiler_utils.Cannot_find_file(f) ->