-
Alexandre Duret-Lutz authored
spot::ltl:: prefixes. (to_string(formula)): New function. * src/ltlvisit/tostring.hh (to_string(formula)): Likewise. * src/ltltest/tostring.cc: Use this new to_string function to simplify.
8e988470
To find the state of this project's repository at the time of any of these versions, check out the tags.