mirror of
https://github.com/gbdev/rgbds.git
synced 2026-10-04 19:25:43 +00:00
Only copy necessary characters for bare labels
This commit is contained in:
1 parent
caddd61f17
commit
187f88aa50
1 file changed
+4
-1
+4
-1
@@ -669,8 +669,11 @@ line : label
|
||||
|
||||
scoped_label_bare : T_LABEL {
|
||||
warning(WARNING_OBSOLETE, "Non-local labels without a colon are deprecated");
|
||||
strcpy($$, $1);
|
||||
}
|
||||
| T_LOCAL_ID {
|
||||
strcpy($$, $1);
|
||||
}
|
||||
| T_LOCAL_ID
|
||||
;
|
||||
scoped_label : T_LABEL ':' {
|
||||
strcpy($$, $1);
|
||||
|
||||
Reference in new issue
Block a user