From e03c649abf4d0e01a76107eeb219301109ad4e69 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Je=CC=81ro=CC=82me=20FERET?= <jerome.feret@info.ens.psl.eu>
Date: Thu, 25 May 2023 16:22:33 +0200
Subject: [PATCH] #643 accept %mod: [T] > 5 do ( io <- 0 ) ;

---
 core/grammar/kparser4.mly | 1 +
 1 file changed, 1 insertion(+)

diff --git a/core/grammar/kparser4.mly b/core/grammar/kparser4.mly
index 4f1e3b423..890407146 100644
--- a/core/grammar/kparser4.mly
+++ b/core/grammar/kparser4.mly
@@ -654,6 +654,7 @@ partial_effect_list_at_least_one_idin:
 
 effect_list:
   | OP_PAR annot partial_effect_list CL_PAR annot { $3 }
+  | OP_PAR annot partial_effect_list CL_PAR annot SEMICOLON annot {let (e,_,_) =  $3 in e,end_pos 6,$7 }
   | effect SEMICOLON annot { let (e,_,_) = $1 in ([e],end_pos 2,$3) }
   | effect SEMICOLON annot effect_list
     { let (e,_,_) = $1 in let (l,pend,a) = $4 in (e::l,pend,a) }