summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1999-11-30 15:56:46 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1999-11-30 15:56:46 +0000
commit272d5404b739ea5876d10292efca711cb16a5f8c (patch)
tree3b7a8f17fd75358249b2d7f8408384c2390f2e4f
parent507c17bfa77c6d84fdd248dbd267ab81811de579 (diff)
downloadocaml2.tar.gz
Correction du bug signale par C.Rinderknecth (composantes mal calculees pour un module dont le type est un nom de type de module defini dans le meme module)ocaml2
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/ocaml2@2650 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--typing/env.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/env.ml b/typing/env.ml
index 21ea31197a..aac175077f 100644
--- a/typing/env.ml
+++ b/typing/env.ml
@@ -463,7 +463,7 @@ let rec components_of_module env sub path mty =
let decl' = Subst.modtype_declaration sub decl in
c.comp_modtypes <-
Tbl.add (Ident.name id) (decl', nopos) c.comp_modtypes;
- env := store_modtype id path decl' !env
+ env := store_modtype id path decl !env
| Tsig_class(id, decl) ->
let decl' = Subst.class_declaration sub decl in
c.comp_classes <-