log tests/fromStringErr.urp

age author description
2008-09-07 Adam Chlipala Error-parsing ints