-
Alexandre Duret-Lutz authored
Fixes core/readsave.test and python/automata.ipython with gcc-snapshot (future gcc 7). * spot/twaalgos/minimize.cc: Here. * NEWS: Mention the change. * tests/core/acc_word.test: Adjust test case.
d7d6b409
Fixes core/readsave.test and python/automata.ipython with gcc-snapshot (future gcc 7). * spot/twaalgos/minimize.cc: Here. * NEWS: Mention the change. * tests/core/acc_word.test: Adjust test case.