-
* bench/ltl2tgba/defs.in (LTLFILT): Add this variable. * bench/ltl2tgba/big, bench/ltl2tgba/small: Use $LTLFILT. * bench/ltl2tgba/known: Add a missing '$srcdir'.
9c4e9c89
* bench/ltl2tgba/defs.in (LTLFILT): Add this variable. * bench/ltl2tgba/big, bench/ltl2tgba/small: Use $LTLFILT. * bench/ltl2tgba/known: Add a missing '$srcdir'.