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)