-
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
* src/ltlvisit/dump.hh (dump): Likewise. * src/ltltest/equals.cc, src/ltltest/readltl.cc, src/ltlvisit/dotty.cc, src/ltlvisit/dump.cc: Adjust.