-
Alexandre Duret-Lutz authored
* src/ltlvisit/Makefile.am (libltlvisit_a_SOURCES): Add them. * src/ltlvisit/lunabbrev.hh, src/ltlvisit/lunabbrev.cc: Inherit from clone_visitor and remove all useless methods (now inherited).
ae7fdeba
To find the state of this project's repository at the time of any of these versions, check out the tags.