github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-05-13 03:00:26 -04:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #119 from chriseth/allow_space_in_pil_block_defs

Browse Source 
Allow `pil {` in pil block definitions
This commit is contained in:
chriseth
2023-03-28 17:00:20 +02:00
committed by GitHub
parent 9bc46b8dfb dab2c4e6b7
commit bd456eee45
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/parser/powdr.lalrpop
View File

@@ -195,7 +195,7 @@ InstructionParam: InstructionParam = {
}
InlinePil: ASMStatement = {
<@L> "pil{" <(<Statement> ";")*> "}" => ASMStatement::InlinePil(<>)
<@L> "pil" "{" <(<Statement> ";")*> "}" => ASMStatement::InlinePil(<>)
}
Assignment: ASMStatement = {