-
Alexandre Duret-Lutz authored
* src/ltlast/formula.hh (formula_ptr_less_than::operator()): Fix a typo where `l' was typed as `1'. * src/tgbatest/ltlcounter/: New files from Kristin Y. Rozier. * src/tgbatest/ltlcounter.test: New * src/tgbatest/Makefile.am (TESTS): Add ltlcounter.test. (EXTRA_DIST): Add files in ltlcounter/.
6fb7e9fa