-
Alexandre Duret-Lutz authored
(length_visitor): ... this. (form_length): Rename as ... (length): ... this. * src/ltlvisit/reducform.hh (form_length): Rename as ... (length): ... this. * src/ltltest/reduc.cc: Adjust.
e0ec45ed
To find the state of this project's repository at the time of any of these versions, check out the tags.