• Alexandre Duret-Lutz's avatar
    * src/ltlvisit/dump.hh (dump): Take a formula* as argument, · 7685d3a5
    Alexandre Duret-Lutz authored
    not a formula&.  This is more homogeneous.
    * src/ltlvisit/dump.cc (dump): Likewise.
    * src/ltlvisit/dotty.hh (dotty): Likewise.
    * src/ltlvisit/dotty.cc (dotty): Likewise.
    * src/ltlvisit/tostring.hh (to_string): Likewise.
    * src/ltlvisit/tostring.cc (to_string): Likewise.
    * src/ltltest/readltl.cc, src/ltltest/equals.cc,
    src/ltltest/tostring.cc: Adjust usage.
To find the state of this project's repository at the time of any of these versions, check out the tags.