From da5f7ac3aa898c19df5dae37d8a77872c6ed8d2d Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sat, 20 Oct 2012 13:52:44 +0200 Subject: [PATCH] to_string: remove extra parentheses * src/ltlvisit/tostring.cc: Fix duplicate parentheses around argument of unary operators when full_parent=true. --- src/ltlvisit/tostring.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/ltlvisit/tostring.cc b/src/ltlvisit/tostring.cc index 8cf15a4a9..e2d6b92a0 100644 --- a/src/ltlvisit/tostring.cc +++ b/src/ltlvisit/tostring.cc @@ -593,10 +593,10 @@ namespace spot break; } - if (need_parent || full_parent_) + if (need_parent) openp(); uo->child()->accept(*this); - if (need_parent || full_parent_) + if (need_parent) closep(); switch (uo->op())