-
Alexandre Duret-Lutz authored
* bin/common_finput.cc, bin/ltl2tgba.cc, bin/ltldo.cc: Make sure --negate is listed along with input options.
383d1c00
* bin/common_finput.cc, bin/ltl2tgba.cc, bin/ltldo.cc: Make sure --negate is listed along with input options.