-
Alexandre Duret-Lutz authored
* src/ltlvisit/Makefile.am: Add consterm.cc and consterm.hh. * src/ltlvisit/consterm.hh, src/ltlvisit/consterm.cc: New files. * src/ltltest/Makefile.am: Add consterm.cc and consterm.test. * src/ltltest/consterm.cc, src/ltltest/consterm.test: New files.
97b7211b