-
Alexandre Duret-Lutz authored
* src/taalgos/sba2ta.cc, src/ta/ta.cc, src/ta/taexplicit.cc, src/ta/taproduct.cc, src/taalgos/emptinessta.cc: Use downcast and cleanup whitespace.
c774ba14
* src/taalgos/sba2ta.cc, src/ta/ta.cc, src/ta/taexplicit.cc, src/ta/taproduct.cc, src/taalgos/emptinessta.cc: Use downcast and cleanup whitespace.