Commit 0b11fc2e authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* src/ltlvisit/dotty.cc (dotty_visitor): Reorder attributes.

parent bb06db7c
2011-06-06 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* src/ltlvisit/dotty.cc (dotty_visitor): Reorder attributes.
2011-06-06 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* src/ltltest/genltl.cc (fair_response): Typo.
......
......@@ -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)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment