diff options
| author | Maria Matejka <mq@ucw.cz> | 2023-06-17 13:05:23 +0200 |
|---|---|---|
| committer | Ondrej Zajicek <santiago@crfreenet.org> | 2023-09-12 16:20:25 +0200 |
| commit | 1d38726c646ee3a4b6431d55f921fa6ede92fca1 (patch) | |
| tree | f68905fc01266897033214958e8ac8a29bdaef6a | |
| parent | fc9d471b36b91429e5d86aa794716683a5281449 (diff) | |
Removing unused terminals from filter config
| -rw-r--r-- | filter/config.Y | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/filter/config.Y b/filter/config.Y index c15814fd..ff7348f1 100644 --- a/filter/config.Y +++ b/filter/config.Y @@ -370,10 +370,6 @@ CF_KEYWORDS(FUNCTION, PRINT, PRINTN, UNSET, RETURN, FROM_HEX, BT_ASSERT, BT_TEST_SUITE, BT_CHECK_ASSIGN, BT_TEST_SAME, FORMAT) -CF_METHODS(IS_V4, TYPE, IP, RD, LEN, MAXLEN, ASN, SRC, DST, MASK, - FIRST, LAST, LAST_NONAGGREGATED, DATA, DATA1, DATA2, MIN, MAX, - EMPTY, PREPEND, ADD, DELETE, FILTER) - %nonassoc THEN %nonassoc ELSE |