diff --git a/minizinc.iro b/minizinc.iro index 92ffb69..4bd0c94 100644 --- a/minizinc.iro +++ b/minizinc.iro @@ -164,7 +164,7 @@ main : context { : pattern { description = logical operator - regex \= (\bnot\b|<->|->|<-|\\/|xor|/\\) + regex \= (\bnot\b|<->|->|<-|\\/|\bxor\b|/\\) styles [] = .operator; }