diff options
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()) { |