Skip to content
Snippets Groups Projects

Resolve "Renaming of Nonterminal Does Not Rename All Occurences"

Merged Johannes Mey requested to merge bugfix/nonterminal-renaming into main
1 file
+ 0
4
Compare changes
  • Side-by-side
  • Inline
@@ -37,10 +37,6 @@ SingleLineComment = "//" [^\n\r]* (\n | \r | \r\n)
FormalComment = "/**" [^*]* [*]+([^*/][^*]*[*]+)*[/]
MultiLineComment = "/*" [^*]+ [*]+([^*/][^*]*[*]+)*[/]
NotBrace = ( [^{}/]+ | [/][^{}/*] )+
NotBracket = ( [^\[\]/]+ | [/][^\[\]/*] )+
// from jjt
DecimalLiteral = [1-9] [0-9]*
HexLiteral = 0 [xX] [0-9a-fA-F]+
Loading