diff options
| author | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1996-09-23 15:57:00 +0000 |
|---|---|---|
| committer | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1996-09-23 15:57:00 +0000 |
| commit | 8ebda1067bc6d3101bd3c6cc87a128871253cf7b (patch) | |
| tree | b652223274067eef7dc54cabeab69d407b7ac4aa /typing/ctype.ml | |
| parent | 4e50a18bc9f1b9a9c9fe6ee1cbc7b93496904b1b (diff) | |
| download | ocaml-8ebda1067bc6d3101bd3c6cc87a128871253cf7b.tar.gz | |
Correction d'un bug de moregeneral.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1011 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/ctype.ml')
| -rw-r--r-- | typing/ctype.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/typing/ctype.ml b/typing/ctype.ml index 094480cc25..1024266d03 100644 --- a/typing/ctype.ml +++ b/typing/ctype.ml @@ -730,8 +730,7 @@ let rec moregen env t1 t2 = end | (Tobject(f1, _), Tobject(f2, _)) -> t1.desc <- Tlink t2; - moregen_fields env f1 f2; - t1.desc <- d1 + moregen_fields env f1 f2 | (Tconstr(p1, tl1, abbrev1), _) -> begin try moregen env (expand_abbrev env p1 tl1 abbrev1 t1.level) t2 |