-
Alexandre Duret-Lutz authored
* src/tgba/tgbakvcomplement.cc (tgba_kv_complement_succ_iterator::current_state_), src/ta/taexplicit.hh (state_ta_explicit::source_): Remove useless private member. * src/ta/taexplicit.cc: Adjust constructors. * src/ta/tgta.cc, src/ta/taexplicit.hh: Also fix copyright banner. * src/bin/ltlcross.cc (exec_with_timeout): Work around warning about status not being set in the error path.
aa7b43ea