-
Alexandre Duret-Lutz authored
* src/ltlvisit/tostring.cc: Fix duplicate parentheses around argument of unary operators when full_parent=true.
da5f7ac3
* src/ltlvisit/tostring.cc: Fix duplicate parentheses around argument of unary operators when full_parent=true.