From ca3213ad42dcf6b30fd25462991edd9773135210 Mon Sep 17 00:00:00 2001
From: "Jip J. Dekker" <jip@dekker.li>
Date: Mon, 5 Feb 2018 17:38:30 +1100
Subject: [PATCH] Add constant for identifiers

---
 minizinc.iro | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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