• Alexandre Duret-Lutz's avatar
    fix some incorrect AP registrations · 5a441e1b
    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