Dekker1/iro-mzn
Archived
1
0
Fork 0
Code

Fix the .. operator

Browse Source
This commit is contained in:
Jip J. Dekker 2019-12-03 11:20:28 +11:00
parent f8ae7d0628
commit e2134fee64
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
minizinc.iro
View File

@ -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 {
}
}
}
}