-
Alexandre Duret-Lutz authored
This was simply wrong. * src/tgbaalgos/dtbasat.cc: reverts commit fc5a00d24d5964d6f6a48d362ecbdec357eaf154.
7a26a4f1
This was simply wrong. * src/tgbaalgos/dtbasat.cc: reverts commit fc5a00d24d5964d6f6a48d362ecbdec357eaf154.