-
Alexandre Duret-Lutz authored
reduc_tgba_sim): Fix warnings about Doxygen comment. * src/ltlvisit/reduce.hh (reduce): Likewise.
1aad1ffb
To find the state of this project's repository at the time of any of these versions, check out the tags.
reduc_tgba_sim): Fix warnings about Doxygen comment. * src/ltlvisit/reduce.hh (reduce): Likewise.