-
Alexandre Duret-Lutz authored
* spot/twaalgos/determinize.cc, spot/twaalgos/determinize.hh, tests/core/safra.cc (tgba_determinisation): Rename as... (twa_determinisation): ... this.
c18ee329
* spot/twaalgos/determinize.cc, spot/twaalgos/determinize.hh, tests/core/safra.cc (tgba_determinisation): Rename as... (twa_determinisation): ... this.