diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2025-05-18 11:08:01 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2025-05-18 14:04:21 +0200 |
| commit | ba1aaf9246f7371bc4c4f8e6636baf44ddf28444 (patch) | |
| tree | a8eb32ce0d7ad526e9fea948d5a71d345c6c7327 /def_Header.py | |
| parent | 72827171201ee9c022a6a8c30107e55a16c3826c (diff) | |
define _
Diffstat (limited to 'def_Header.py')
| -rwxr-xr-x | def_Header.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/def_Header.py b/def_Header.py index 2559443..3d5ca66 100755 --- a/def_Header.py +++ b/def_Header.py @@ -10,7 +10,7 @@ Diagram( Start("complex"), OneOrMore('#'), ZeroOrMore(NonTerminal("SPACE")), - Optional(NonTerminal("Words")), + Optional(NonTerminal("!NEWLINE Words")), NonTerminal("NEWLINE"), End("complex") ).writeStandalone( |