diff --git a/minizinc.iro b/minizinc.iro index 9de5d5c..46e2d17 100644 --- a/minizinc.iro +++ b/minizinc.iro @@ -6,7 +6,7 @@ ## ################################################################ -name = mzn +name = MiniZinc file_extensions [] = mzn, fzn, dzn; ################################################################ @@ -182,7 +182,7 @@ main : context { : pattern { description = set operator - regex \= (\b(?:in|subset|superset|union|diff|symdiff|intersect)\b|\.\.) + regex \= (\b(?:in|subset|superset|union|diff|symdiff|intersect|\.\.)\b) styles [] = .operator; } @@ -455,4 +455,4 @@ string : context { } } -} +} \ No newline at end of file