From bb9d96e79d5aa551753b3121a7a0be61cf0d609a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= <leonard.gerard@ens.fr>
Date: Thu, 16 Dec 2010 18:28:33 +0100
Subject: [PATCH] Parse real blocks in resets.

---
 compiler/heptagon/parsing/hept_parser.mly | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/compiler/heptagon/parsing/hept_parser.mly b/compiler/heptagon/parsing/hept_parser.mly
index 7226a64..fe06bbc 100644
--- 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 }
 ;