alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

to_string: remove extra parentheses

Browse source 
* src/ltlvisit/tostring.cc: Fix duplicate parentheses around
argument of unary operators when full_parent=true.
This commit is contained in:
Alexandre Duret-Lutz 2012-10-20 13:52:44 +02:00
parent 0fc3c6bcff
commit da5f7ac3aa
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/ltlvisit/tostring.cc
View file

@ -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())