diff options
author | Maria Matejka <mq@ucw.cz> | 2022-09-29 09:58:27 +0200 |
---|---|---|
committer | Maria Matejka <mq@ucw.cz> | 2022-09-29 09:59:32 +0200 |
commit | 61c127c021ac34eba25d3245ccf8f9eb9dd352f5 (patch) | |
tree | 92108ea957c157ea1f8cbc8089cebb953dcad6d4 /conf | |
parent | 9be7aa9b450f22cec9c97143d0cb7650f4fd7cc9 (diff) | |
parent | 9efaf6bafea1c69629e59c6504980fb2986287fe (diff) |
Merge commit '9efaf6ba' into tmp-bad-learn
Also fixed forgotten best route selection among alien routes.
Diffstat (limited to 'conf')
-rw-r--r-- | conf/confbase.Y | 2 |
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 ; |