diff options
Diffstat (limited to 'filter')
| -rw-r--r-- | filter/config.Y | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/filter/config.Y b/filter/config.Y index 6d9b064d..fc255519 100644 --- a/filter/config.Y +++ b/filter/config.Y @@ -280,7 +280,6 @@ switch_body: /* EMPTY */ { $$ = NULL; } bgp_path: PO bgp_path_tail1 PC { $$ = $2; } | '/' bgp_path_tail2 '/' { $$ = $2; } - | OR { $$ = NULL; } /* special case because of || is a different token */ ; bgp_path_tail1: |