Dekker1/iro-mzn
Archived
1
0
Fork 0
Code

Add constant for identifiers

Browse Source
This commit is contained in:
Jip J. Dekker 2018-02-05 17:38:30 +11:00
parent eeef78c5ea
commit ca3213ad42
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
minizinc.iro
View File

@ -13,7 +13,7 @@ file_extensions [] = mzn;
## Constants ## Constants
################################################################ ################################################################
__MY_CONSTANT \= (\b[a-z][a-z0-9]*) __id \= (\b[A-Za-z][A-Za-z0-9_]*|'[^']*')
################################################################ ################################################################
## Styles ## Styles