-
Alexandre Duret-Lutz authored
* src/tgbaalgos/dtbasat.cc, src/tgbaalgos/dtgbasat.cc: Rewrite the loops that number the states of the reference automaton so that they declare CNF variable numbers in the same order as the states of the automaton.
1853bdd5