diff options
Diffstat (limited to 'util/newconfig/config.g')
| -rw-r--r-- | util/newconfig/config.g | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/newconfig/config.g b/util/newconfig/config.g index a8130c8c66..b8bd38c857 100644 --- a/util/newconfig/config.g +++ b/util/newconfig/config.g @@ -1709,7 +1709,7 @@ parser Config: rule expr: logical {{ l = logical }} ( "&&" logical {{ l = l and logical }} - | "||" logical {{ l = l or logical }} + | "[|][|]" logical {{ l = l or logical }} )* {{ return l }} rule logical: factor {{ n = factor }} |