emp: fix warning on deprecated bison directive
emp_ematch.y:12.1-13: warning: deprecated directive, use ‘%name-prefix’ [-Wdeprecated] %name-prefix="ematch_" ^^^^^^^^^^^^^
This commit is contained in:
parent
561e650eff
commit
edd3979272
|
|
@ -9,7 +9,7 @@
|
||||||
%locations
|
%locations
|
||||||
%token-table
|
%token-table
|
||||||
%error-verbose
|
%error-verbose
|
||||||
%name-prefix="ematch_"
|
%name-prefix "ematch_"
|
||||||
|
|
||||||
%union {
|
%union {
|
||||||
unsigned int i;
|
unsigned int i;
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue