-
Alexandre Duret-Lutz authored
* src/ltlvisit/reducform.cc, src/ltlvisit/forminf.cc: Fix style.
1245d19d
To find the state of this project's repository at the time of any of these versions, check out the tags.
* src/ltlvisit/reducform.cc, src/ltlvisit/forminf.cc: Fix style.