diff options
| author | Ondrej Zajicek <santiago@crfreenet.org> | 2009-06-01 16:20:48 +0200 |
|---|---|---|
| committer | Ondrej Zajicek <santiago@crfreenet.org> | 2009-06-01 16:20:48 +0200 |
| commit | f429d4348275030a9f488046c4021aa377ad1a79 (patch) | |
| tree | 5d3142d326311e09aa6f3d4dbc03da60169a0551 | |
| parent | f98e2915794e8641f0704b22cbd9b574514f5b23 (diff) | |
Removes some remnant of '|' bgp path separator.
| -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: |