summaryrefslogtreecommitdiff
path: root/conf
diff options
context:
space:
mode:
authorMaria Matejka <mq@ucw.cz>2022-06-26 14:11:08 +0200
committerMaria Matejka <mq@ucw.cz>2022-06-26 14:31:31 +0200
commit5c1ebe012e1bbfec52b4fba8b59edd355a7dff91 (patch)
tree32de21c30885a029e637c619aed43d52fa1ef847 /conf
parent9c9059fd172dcc2f8805529de4b3174f280c109c (diff)
Fixed forgotten preference handling in filters
Diffstat (limited to 'conf')
-rw-r--r--conf/confbase.Y2
1 files changed, 1 insertions, 1 deletions
diff --git a/conf/confbase.Y b/conf/confbase.Y
index 9a83083c..58890cd6 100644
--- a/conf/confbase.Y
+++ b/conf/confbase.Y
@@ -173,7 +173,7 @@ expr_us:
| expr US { $$ = $1 US_; }
;
-toksym: FROM ;
+toksym: FROM | PREFERENCE ;
symbol: CF_SYM_UNDEFINED | CF_SYM_KNOWN | toksym ;
symbol_known: CF_SYM_KNOWN | toksym ;