diff options
Diffstat (limited to 'src')
-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 98fe4431..5cb4f8e1 100644 --- a/src/parser_bison.y +++ b/src/parser_bison.y @@ -5506,7 +5506,7 @@ exthdr_exists_expr : EXTHDR exthdr_key ; exthdr_key : HBH { $$ = IPPROTO_HOPOPTS; } - | RT { $$ = IPPROTO_ROUTING; } + | RT close_scope_rt { $$ = IPPROTO_ROUTING; } | FRAG { $$ = IPPROTO_FRAGMENT; } | DST { $$ = IPPROTO_DSTOPTS; } | MH { $$ = IPPROTO_MH; } |