correction bug univers (dummy_univ)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@664 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 1 insertions, 0 deletions

diff --git a/library/lib.ml b/library/lib.ml
index 387bf41f1..41e6ec6e8 100644
--- a/library/lib.ml
+++ b/library/lib.ml
@@ -117,6 +117,7 @@ let start_module s =
   if !module_name <> None then error "a module is already started";
   if !path_prefix <> [] then error "some sections are already opened";
   module_name := Some s;
+  Univ.set_module s;
   let _ = add_anonymous_entry (Module s) in
   path_prefix := [s]