From ee7d60120b288148e2c9c9227f59c604d3903fb4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Tue, 19 Jun 2012 15:56:54 +0200 Subject: [PATCH] Fixed bug in translation to minils --- compiler/main/hept2mls.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/compiler/main/hept2mls.ml b/compiler/main/hept2mls.ml index e3bd963..6d97353 100644 --- a/compiler/main/hept2mls.ml +++ b/compiler/main/hept2mls.ml @@ -105,10 +105,10 @@ let rec translate_extvalue e = mk_extvalue e (Wwhen (translate_extvalue e', c, x)) | Heptagon.Eapp({ Heptagon.a_op = Heptagon.Efield; Heptagon.a_params = params }, e_list, _) -> - let e = assert_1 e_list in + let e' = assert_1 e_list in let f = assert_1 params in let fn = match f.se_desc with Sfield fn -> fn | _ -> assert false in - mk_extvalue e (Wfield (translate_extvalue e, fn)) + mk_extvalue e (Wfield (translate_extvalue e', fn)) | Heptagon.Eapp({ Heptagon.a_op = Heptagon.Ereinit }, e_list, _) -> let e1, e2 = assert_2 e_list in mk_extvalue e (Wreinit (translate_extvalue e1, translate_extvalue e2))