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; } }