Dekker1/iro-mzn
Archived
1
0
Fork 0
Code

Fix the grouping of the floating point regex

Browse Source
This commit is contained in:
Jip J. Dekker 2018-02-05 17:38:13 +11:00
parent 619b8b57af
commit eeef78c5ea
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
minizinc.iro
View File

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