diff options
Diffstat (limited to 'src/parser_bison.y')
| -rw-r--r-- | src/parser_bison.y | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser_bison.y b/src/parser_bison.y index 39a3ab04..02a373cb 100644 --- a/src/parser_bison.y +++ b/src/parser_bison.y @@ -1969,7 +1969,7 @@ int_num : NUM { $$ = $1; } | DASH NUM { $$ = -$2; } ; -dev_spec : DEVICE STRING { $$ = $2; } +dev_spec : DEVICE string { $$ = $2; } | /* empty */ { $$ = NULL; } ; |