-
Alexandre Duret-Lutz authored
* src/ltlvisit/dotty.cc (dotty_visitor): Replace the "dir" attribute by a childnum attribute used to number children.
277ae7dd
* src/ltlvisit/dotty.cc (dotty_visitor): Replace the "dir" attribute by a childnum attribute used to number children.