Parse real blocks in resets.

2010-12-16 18:28:33 +01:00 · 2010-12-16 18:28:33 +01:00 · bb9d96e79d
commit bb9d96e79d
parent 467f4b3250
1 changed files with 2 additions and 2 deletions
--- a/compiler/heptagon/parsing/hept_parser.mly
+++ b/compiler/heptagon/parsing/hept_parser.mly
@ -313,8 +313,8 @@ _equ:
      { Eswitch($2,
                   [{ w_name = ptrue; w_block = tb };
                    { w_name = pfalse; w_block = fb }]) }
-  | RESET equs EVERY exp (* LG TODO real blocks(IN)*)
-      { Ereset(mk_block [] $2 (Loc($startpos,$endpos)), $4) }
+  | RESET b=block(IN) EVERY e=exp
+      { Ereset(b,e) }
  | DO b=block(IN) DONE
      { Eblock b }
 ;