Removes some remnant of '|' bgp path separator.

diff --git a/filter/config.Y b/filter/config.Y
index 6d9b064dcc8d3b4c797e4cee898a930fddefb196..fc2555193f019d2ab053d78d34fc7fe0227c19a9 100644 (file)
--- 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: