Refer to "end of line", not "newline" (#1517)

This commit is contained in:
Sylvie
2024-09-22 20:15:02 -04:00
committed by GitHub
parent 6b89938da7
commit 22767e36e2
8 changed files with 14 additions and 14 deletions

View File

@@ -103,7 +103,7 @@
/******************** Tokens ********************/
%token YYEOF 0 "end of file"
%token NEWLINE "newline"
%token NEWLINE "end of line"
%token EOB "end of buffer"
// General punctuation