From 047e153002f5794d88d7b970ad71a2f6b47fa11c Mon Sep 17 00:00:00 2001 From: Claudio Russo Date: Wed, 8 Jan 2025 10:41:25 +0000 Subject: [PATCH] fix grammar --- doc/md/examples/grammar.txt | 1 - src/gen-grammar/grammar.sed | 2 +- 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/doc/md/examples/grammar.txt b/doc/md/examples/grammar.txt index 9e20af6a947..5d20ddf28e0 100644 --- a/doc/md/examples/grammar.txt +++ b/doc/md/examples/grammar.txt @@ -336,6 +336,5 @@ ::= , ';')> , ';')> - , ';')> 'actor' '(' '{' , ';')> '}' ',' '{' , ';')> '}' ')' diff --git a/src/gen-grammar/grammar.sed b/src/gen-grammar/grammar.sed index 45d4698f044..4f8be9b2b70 100644 --- a/src/gen-grammar/grammar.sed +++ b/src/gen-grammar/grammar.sed @@ -12,7 +12,7 @@ s//ID/g /^ ::=/,+2d /^ ::=/,+2d /^ ::=/,+2d -/^ ::=/,+2d +/^ ::=/,+5d /.*PRIM.*/d /^ ::=/,+2d /^ ::=/,+2d