• Alexandre Duret-Lutz's avatar
    Fix several warnings reported by clang++ 3.2. · aa7b43ea
    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
tgbakvcomplement.cc 19.5 KB