-
Alexandre Duret-Lutz authored
* src/ltlvisit/nenoform.cc, src/ltlvisit/lunabbrev.cc, src/ltlvisit/simpfg.cc, src/ltlvisit/tunabbrev.cc: Do not recurse if the formula properties indicate that it is already in the right form.
20c088a4
* src/ltlvisit/nenoform.cc, src/ltlvisit/lunabbrev.cc, src/ltlvisit/simpfg.cc, src/ltlvisit/tunabbrev.cc: Do not recurse if the formula properties indicate that it is already in the right form.