From dab2c4e6b7a9473decbef98af1fada13f8a2d331 Mon Sep 17 00:00:00 2001
From: schaeff <thibaut@schaeff.fr>
Date: Tue, 28 Mar 2023 13:47:05 +0200
Subject: [PATCH] allow  for inline pil

---
 src/parser/powdr.lalrpop | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/parser/powdr.lalrpop b/src/parser/powdr.lalrpop
index bf8fde9ea..d9ae3eb4b 100644
--- a/src/parser/powdr.lalrpop
+++ b/src/parser/powdr.lalrpop
@@ -195,7 +195,7 @@ InstructionParam: InstructionParam = {
 }
 
 InlinePil: ASMStatement = {
-    <@L> "pil{" <(<Statement> ";")*> "}" => ASMStatement::InlinePil(<>)
+    <@L> "pil" "{" <(<Statement> ";")*> "}" => ASMStatement::InlinePil(<>)
 }
 
 Assignment: ASMStatement = {