From 0b11fc2e112dc10487f0203716ab3825647d7ae2 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 6 Jun 2011 19:25:27 +0200 Subject: [PATCH] * src/ltlvisit/dotty.cc (dotty_visitor): Reorder attributes. --- ChangeLog | 4 ++++ src/ltlvisit/dotty.cc | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 39e76e57d..887caccea 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2011-06-06 Alexandre Duret-Lutz + + * src/ltlvisit/dotty.cc (dotty_visitor): Reorder attributes. + 2011-06-06 Alexandre Duret-Lutz * src/ltltest/genltl.cc (fair_response): Typo. diff --git a/src/ltlvisit/dotty.cc b/src/ltlvisit/dotty.cc index a845a058a..fc768fa9b 100644 --- a/src/ltlvisit/dotty.cc +++ b/src/ltlvisit/dotty.cc @@ -115,9 +115,9 @@ namespace spot private: std::ostream& os_; - std::ostringstream* sinks_; int father_; map& node_; + std::ostringstream* sinks_; bool draw_node_(const formula* f, const std::string& str, bool sink = false)