-
Alexandre Duret-Lutz authored
Fixes #329. * configure.ac: Do not check for lbt, modella, and ltl2nba. * bench/ltl2tgba/defs.in: Remove the associated substitutions, not used in the scripts.
23903d20
Fixes #329. * configure.ac: Do not check for lbt, modella, and ltl2nba. * bench/ltl2tgba/defs.in: Remove the associated substitutions, not used in the scripts.