summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--filter/config.Y1
1 files changed, 0 insertions, 1 deletions
diff --git a/filter/config.Y b/filter/config.Y
index 6d9b064..fc25551 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: