diff --git a/minizinc.iro b/minizinc.iro index 039e29a..c3d91ae 100644 --- a/minizinc.iro +++ b/minizinc.iro @@ -13,7 +13,7 @@ file_extensions [] = mzn; ## Constants ################################################################ -__MY_CONSTANT \= (\b[a-z][a-z0-9]*) +__id \= (\b[A-Za-z][A-Za-z0-9_]*|'[^']*') ################################################################ ## Styles