-
Alexandre Duret-Lutz authoredThis is one less useless dependency on Boost. * src/ltlparse/ltlscan.ll: Replace lexical_cast<unsigned>() by strtoul(). * src/ltltest/parseerr.test: Add a test case.
9145515b
This is one less useless dependency on Boost. * src/ltlparse/ltlscan.ll: Replace lexical_cast<unsigned>() by strtoul(). * src/ltltest/parseerr.test: Add a test case.