Alexandre Duret-Lutz authored
* src/ltlparse/fmterror.cc (format_parse_errors): Count columns starting at 1. Older Bison used to start at 0 but changed to match the GNU Coding Standards. * src/ltltest/parseerr.test: Add a test case.d71ceb3b
To find the state of this project's repository at the time of any of these versions, check out the tags.