From f429d4348275030a9f488046c4021aa377ad1a79 Mon Sep 17 00:00:00 2001
From: Ondrej Zajicek <santiago@crfreenet.org>
Date: Mon, 1 Jun 2009 16:20:48 +0200
Subject: [PATCH] Removes some remnant of '|' bgp path separator.

---
 filter/config.Y | 1 -
 1 file changed, 1 deletion(-)

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: