Fix parsing of floats without '.'
authorJosé Fonseca <jose.r.fonseca@gmail.com>
Mon, 26 Nov 2012 19:49:17 +0000 (19:49 +0000)
committerJosé Fonseca <jose.r.fonseca@gmail.com>
Mon, 26 Nov 2012 19:49:17 +0000 (19:49 +0000)
commit5271ee8ef3b3898b300f176120a29e51ae417ce6
treefba365593ae9a7fd2c86e48e6990fcca00bb4828
parent0ad1e68df802278f776c4d36f0c266aca62418b8
Fix parsing of floats without '.'

For example "1e+10"
tracematch.py