Re: Underscores in numeric literals

[Dean Rasheed]

Oh, one other minor nit -- in parser/scan.l:

-real           ({decinteger}|{numeric})[Ee][-+]?{decdigit}+
+real           ({decinteger}|{numeric})[Ee][-+]?{decinteger}+

the final "+" isn't necessary now.

Regards,
Dean