From 72609185b83b81f48bfda16d336c00ba9a914b4d Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 5 Dec 2011 19:16:31 +0100
Subject: [PATCH] Fix drawing a bonup operators in the AST.

* src/ltlvisit/dotty.cc (dotty_visitor::visit): Do not
declare bunop as sinks.
---
 src/ltlvisit/dotty.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ltlvisit/dotty.cc b/src/ltlvisit/dotty.cc
index ab495e1a9..2867bcf8c 100644
--- a/src/ltlvisit/dotty.cc
+++ b/src/ltlvisit/dotty.cc
@@ -63,7 +63,7 @@ namespace spot
 	void
 	visit(const bunop* so)
 	{
-	  if (draw_node_(so, so->format(), true))
+	  if (draw_node_(so, so->format()))
 	    {
 	      dir = none;
 	      so->child()->accept(*this);