Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    ltlcross: do not use remove_fin anymore · 4e99518d
    Alexandre Duret-Lutz authored 
    * bin/ltlcross.cc: Since is_empty() now works with arbitrary
acceptance conditions, calling remove_fin() is not necessary anymore.
* tests/core/ltlcrossce.test: Adjust.
* NEWS: Mention the change.
    4e99518d
To find the state of this project's repository at the time of any of these versions, check out the tags.