-
Alexandre Duret-Lutz authored
* spot/ltsmin/ltsmin.cc: Do not forget to register dead. * spot/twa/twaproduct.cc: Use copy_ap_of() instead of register_all_propositions_of() because the latter does do update ap().
5a441e1b
To find the state of this project's repository at the time of any of these versions, check out the tags.