From 1d38726c646ee3a4b6431d55f921fa6ede92fca1 Mon Sep 17 00:00:00 2001 From: Maria Matejka Date: Sat, 17 Jun 2023 13:05:23 +0200 Subject: [PATCH] Removing unused terminals from filter config --- filter/config.Y | 4 ---- 1 file changed, 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