From 071237813378685201e0d3058fb2a7bc432307bd Mon Sep 17 00:00:00 2001 From: Adrien Guatto Date: Wed, 7 Jul 2010 14:44:18 +0200 Subject: [PATCH] Fixed output structure allocation in C backend --- compiler/minils/sequential/cgen.ml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/compiler/minils/sequential/cgen.ml b/compiler/minils/sequential/cgen.ml index 68728e1..b7599cd 100644 --- a/compiler/minils/sequential/cgen.ml +++ b/compiler/minils/sequential/cgen.ml @@ -530,9 +530,10 @@ let fun_def_of_step_fun name obj_env mem objs sf = (** Out vars for function calls *) let out_vars = - List.map (fun obj -> out_var_name_of_objn (shortname obj.cls), - Cty_id ((cname_of_name (shortname obj.cls)) ^ "_out")) - (List.filter (fun obj -> not (is_op obj.cls)) objs) in + unique + (List.map (fun obj -> out_var_name_of_objn (shortname obj.cls), + Cty_id ((cname_of_name (shortname obj.cls)) ^ "_out")) + (List.filter (fun obj -> not (is_op obj.cls)) objs)) in (** Controllable variables valuations *) let use_ctrlr, ctrlr_calls =