diff options
| author | Marius Kintel <marius@kintel.net> | 2011-10-04 19:06:40 (GMT) |
|---|---|---|
| committer | Marius Kintel <marius@kintel.net> | 2011-10-04 19:06:40 (GMT) |
| commit | 799ca1d1b3f2e9142460ab3ce895a0641f54dfda (patch) | |
| tree | 6c168de6d55cb92b94b0ddeb54c668bd4946c10d /src/nodedumper.cc | |
| parent | 9259d57659f61e9e56942bb36125f605f8f3c338 (diff) | |
| parent | f5e0f3a531b0c8806e4ebc62cd91ca31275ae481 (diff) | |
Merge branch 'master' into visitortests
Conflicts:
src/polyset.h
Diffstat (limited to 'src/nodedumper.cc')
| -rw-r--r-- | src/nodedumper.cc | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/src/nodedumper.cc b/src/nodedumper.cc index d75c703..4523bac 100644 --- a/src/nodedumper.cc +++ b/src/nodedumper.cc @@ -1,13 +1,8 @@ #include "nodedumper.h" -#include <string> -#include <map> -#include <list> -#include "visitor.h" #include "state.h" -#include "nodecache.h" +#include <string> #include <sstream> -#include <iostream> #include <assert.h> /*! @@ -42,7 +37,7 @@ void NodeDumper::handleIndent(const State &state) including braces and indentation. All children are assumed to be cached already. */ -string NodeDumper::dumpChildren(const AbstractNode &node) +std::string NodeDumper::dumpChildren(const AbstractNode &node) { std::stringstream dump; if (!this->visitedchildren[node.index()].empty()) { |