Dekker1/language-mzn
Archived
1
0
Fork 0
Code

Removes duplicate operators and assert statement

Browse Source
This commit is contained in:
Jip J. Dekker 2016-01-10 23:30:21 +01:00
parent afcb9201c0
commit a4ca832b0e
1 changed files with 2 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
grammars/mzn.cson
View File

@ -31,7 +31,7 @@
} }
{ {
'match': '\\b(ann|annotation|any|assert|constraint|function|in|include|list|of|op|output|minimize|maximize|par|predicate|record|satisfy|solve|test|type|var)\\b' 'match': '\\b(ann|annotation|any|constraint|function|in|include|list|of|op|output|minimize|maximize|par|predicate|record|satisfy|solve|test|type|var)\\b'
'name': 'keyword.control.mzn' 'name': 'keyword.control.mzn'
} }
@ -105,12 +105,7 @@
} }
{ {
'match': '\\b(not|\\+|-)\\b' 'match': '\\b(not|<->|->|<-|\\\\/|xor|/\\\\)\\b'
'name': 'keyword.operator.math.mzn'
}
{
'match': '\\b(<->|->|<-|\\\\/|xor|/\\\\)\\b'
'name': 'keyword.operator.logical.mzn' 'name': 'keyword.operator.logical.mzn'
} }