-
Alexandre Duret-Lutz authored
Forward root_ to children of And. (ltl_trad_visitor::recurse): Take a root argument.
9a4da5ff
To find the state of this project's repository at the time of any of these versions, check out the tags.
Forward root_ to children of And. (ltl_trad_visitor::recurse): Take a root argument.