Reinitialiser les idents avant de construire le .cmi pour -pack

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5784 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-08-20 14:35:14 +00:00 · 2003-08-20 14:35:14 +00:00 · 833c7eb22f
parent f0f5b17fbe
commit 833c7eb22f
1 changed files with 1 additions and 0 deletions
--- a/typing/typemod.ml
+++ b/typing/typemod.ml
@ -769,6 +769,7 @@ let package_units objfiles cmifile modulename =
         (modname, Env.read_signature modname (pref ^ ".cmi")))
      objfiles in
  (* Compute signature of packaged unit *)
+  Ident.reinit();
  let sg = package_signatures Subst.identity units in
  (* See if explicit interface is provided *)
  let mlifile =