-
Alexandre Duret-Lutz authored
* src/ta/taproduct.cc, src/ta/tgtaproduct.cc, src/ta/tgtaproduct.hh, src/taalgos/emptinessta.cc, src/tgbatest/ltl2ta.test: 80 columns. * src/ta/tgta.hh, src/ta/tgtaproduct.hh, src/taalgos/emptinessta.hh, src/taalgos/tgba2ta.hh: Fix include gards. * src/taalgos/tgba2ta.hh: Remove superfluous includes. * src/taalgos/tgba2ta.cc: Add missing include. * src/tgbatest/ltl2tgba.cc: Fix use of bdd_true().
67bbe6a6