From 294a09dd8efab5455393fd9eeaf9f2d7ac121576 Mon Sep 17 00:00:00 2001
From: "Jip J. Dekker" <jip@dekker.li>
Date: Wed, 7 Feb 2018 16:32:26 +1100
Subject: [PATCH] Require the xor operator to be a seperate word

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

diff --git a/minizinc.iro b/minizinc.iro
index 92ffb69..4bd0c94 100644
--- a/minizinc.iro
+++ b/minizinc.iro
@@ -164,7 +164,7 @@ main : context {
 
     : pattern {
         description     = logical operator
-        regex          \= (\bnot\b|<->|->|<-|\\/|xor|/\\)
+        regex          \= (\bnot\b|<->|->|<-|\\/|\bxor\b|/\\)
         styles []       = .operator;
     }