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

Fix drawing a bonup operators in the AST.

Browse source 
* src/ltlvisit/dotty.cc (dotty_visitor::visit): Do not
declare bunop as sinks.
This commit is contained in:
Alexandre Duret-Lutz 2011-12-05 19:16:31 +01:00
parent fa44383efb
commit 72609185b8
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ltlvisit/dotty.cc
View file

@ -63,7 +63,7 @@ namespace spot
void void
visit(const bunop* so) visit(const bunop* so)
{ {
if (draw_node_(so, so->format(), true)) if (draw_node_(so, so->format()))
{ {
dir = none; dir = none;
so->child()->accept(*this); so->child()->accept(*this);