-
Alexandre Duret-Lutz authored
* src/misc/Makefile.am (misc_HEADERS, libmisc_la_SOURCES): Add them. * src/tgbaalgos/ltl2tgba_fm.cc (ltl_to_tgba_fm): Use minato_isop.
c317154d
* src/misc/Makefile.am (misc_HEADERS, libmisc_la_SOURCES): Add them. * src/tgbaalgos/ltl2tgba_fm.cc (ltl_to_tgba_fm): Use minato_isop.