summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch.fr>2014-09-30 13:10:10 +0000
committerAlain Frisch <alain@frisch.fr>2014-09-30 13:10:10 +0000
commit50fae59bc663e8e5a706375aebb0b4344e67ea14 (patch)
tree2fc5ae11ef8617d1afad3a2f8c2fbbc5628ab0a9
parentd4cb9063f14f122fff85ee15bbdc7e64b0d35dda (diff)
Fix.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15383 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--asmcomp/cmmgen.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/asmcomp/cmmgen.ml b/asmcomp/cmmgen.ml
index 24c2d41ab..17dcb8220 100644
--- a/asmcomp/cmmgen.ml
+++ b/asmcomp/cmmgen.ml
@@ -643,7 +643,7 @@ let rec expr_size env = function
RHS_floatblock (List.length args)
| Uprim (Pduprecord ((Record_regular | Record_inlined _), sz), _, _) ->
RHS_block sz
- | Uprim (Pduprecord (Record_extension _, sz), _, _) ->
+ | Uprim (Pduprecord (Record_extension, sz), _, _) ->
RHS_block (sz + 1)
| Uprim (Pduprecord (Record_float, sz), _, _) ->
RHS_floatblock sz