Fixed bug with loading modules

Do not forget to remember loaded modules
2011-05-02 14:27:42 +02:00 · 2011-05-02 14:27:42 +02:00 · b47dc918ec
parent fd347cb4e4
commit b47dc918ec
1 changed files with 1 additions and 0 deletions
--- 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) ->