-
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
(length_visitor): ... this. (form_length): Rename as ... (length): ... this. * src/ltlvisit/reducform.hh (form_length): Rename as ... (length): ... this. * src/ltltest/reduc.cc: Adjust.