From eeef78c5eada912f385c61c7af800cb2adebcbc7 Mon Sep 17 00:00:00 2001
From: "Jip J. Dekker" <jip@dekker.li>
Date: Mon, 5 Feb 2018 17:38:13 +1100
Subject: [PATCH] Fix the grouping of the floating point regex

---
 minizinc.iro | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/minizinc.iro b/minizinc.iro
index 4f11e24..039e29a 100644
--- a/minizinc.iro
+++ b/minizinc.iro
@@ -126,8 +126,8 @@ numeric : context {
     }
     : pattern {
         description     = floating point number
-        regex          \= (\b\d+(.\d+|(.\d+)?[Ee][-+]?\d+))
-        styles []       = .numeric, .numeric, .numeric;
+        regex          \= (\b\d+(?:.\d+|(?:.\d+)?[Ee][-+]?\d+))
+        styles []       = .numeric;
     }
 }