-
Alexandre Duret-Lutz authored
* src/ltlvisit/dump.hh (dump): Likewise. * src/ltltest/equals.cc, src/ltltest/readltl.cc, src/ltlvisit/dotty.cc, src/ltlvisit/dump.cc: Adjust.
fe2f7268
To find the state of this project's repository at the time of any of these versions, check out the tags.