-
Alexandre Duret-Lutz authored
* NEWS: Mention it. * src/ltlvisit/lbt.cc: Instead of outputting a space after each node, output one before each node but the first one.
3a5eec42
* NEWS: Mention it. * src/ltlvisit/lbt.cc: Instead of outputting a space after each node, output one before each node but the first one.