-
Alexandre Duret-Lutz authored
* src/ltltest/equals.cc: Delete. * src/ltltest/Makefile.am: Adjust. * src/ltltest/unabbrevwm.test: Rewrite using ltlfilt.
c85ba787
* src/ltltest/equals.cc: Delete. * src/ltltest/Makefile.am: Adjust. * src/ltltest/unabbrevwm.test: Rewrite using ltlfilt.