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