-
Alexandre Duret-Lutz authored
* spot/twaalgos/safra.cc, spot/twaalgos/safra.hh: Rename as... * spot/twaalgos/determinize.cc, spot/twaalgos/determinize.hh: ... these. * spot/twaalgos/Makefile.am, tests/core/safra.cc: Adjust.
f9252aa7
* spot/twaalgos/safra.cc, spot/twaalgos/safra.hh: Rename as... * spot/twaalgos/determinize.cc, spot/twaalgos/determinize.hh: ... these. * spot/twaalgos/Makefile.am, tests/core/safra.cc: Adjust.