-
Alexandre Duret-Lutz authored
* spot/twaalgos/determinize.cc: Store implications in a vector, not a map. * spot/twaalgos/simulation.cc, spot/twaalgos/simulation.hh: Adjust.
6ca555ed
* spot/twaalgos/determinize.cc: Store implications in a vector, not a map. * spot/twaalgos/simulation.cc, spot/twaalgos/simulation.hh: Adjust.