From c3382e428453d8519b675eac458c1c17961e3f97 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= Date: Thu, 9 Jun 2011 14:13:08 +0200 Subject: [PATCH] Small present bugfix. --- compiler/heptagon/transformations/present.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/heptagon/transformations/present.ml b/compiler/heptagon/transformations/present.ml index a138123..66532a8 100644 --- a/compiler/heptagon/transformations/present.ml +++ b/compiler/heptagon/transformations/present.ml @@ -15,7 +15,7 @@ open Hept_mapfold let translate_present_handlers handlers cont = let translate_present_handler { p_cond = e; p_block = b } cont = let stateful = b.b_stateful or cont.b_stateful in - mk_block ~defnames:b.b_defnames + mk_block ~stateful:stateful ~defnames:b.b_defnames [mk_switch_equation e [{ w_name = Initial.ptrue; w_block = b }; { w_name = Initial.pfalse; w_block = cont }]] in