-
Alexandre Duret-Lutz authored
* src/tgbaalgos/gtec/ce.cc, src/tgbaalgos/reducerun.cc: Remove superfluous definition of state_set. Reported by František Blahoudek.
b486d4f1
* src/tgbaalgos/gtec/ce.cc, src/tgbaalgos/reducerun.cc: Remove superfluous definition of state_set. Reported by František Blahoudek.