diff --git a/parser/parser_yacc.y b/parser/parser_yacc.y index 22d6b4fd2..0447e23a2 100644 --- a/parser/parser_yacc.y +++ b/parser/parser_yacc.y @@ -206,7 +206,7 @@ profilelist: profilelist profile opt_profile_flag: { /* nothing */ $$ = 0; } | TOK_PROFILE { $$ = 1; } - | TOK_HAT { $$ = 2; } + | hat_start { $$ = 2; } profile: opt_profile_flag TOK_ID flags TOK_OPEN rules TOK_CLOSE {