1 files changed, 0 insertions, 37 deletions
diff --git a/src/nodedumper.h b/src/nodedumper.h
deleted file mode 100644
index 568d578..0000000
--- a/src/nodedumper.h
+++ /dev/null
@@ -1,37 +0,0 @@
-#ifndef NODEDUMPER_H_
-#define NODEDUMPER_H_
-
-#include <string>
-#include <map>
-#include <list>
-#include "visitor.h"
-#include "nodecache.h"
-
-using std::string;
-using std::map;
-using std::list;
-
-class NodeDumper : public Visitor
-{
-public:
-	NodeDumper() : root(NULL) {}
-  virtual ~NodeDumper() {}
-
-  virtual Response visit(const State &state, const AbstractNode &node);
-
-  const string &getDump() const;
-private:
-  void handleVisitedChildren(const State &state, const AbstractNode &node);
-  bool isCached(const AbstractNode &node);
-  void handleIndent(const State &state);
-	string dumpChildren(const AbstractNode &node);
-
-  string currindent;
-  const AbstractNode *root;
-  typedef list<const AbstractNode *> ChildList;
-  map<int, ChildList> visitedchildren;
-  NodeCache<string> cache;
-};
-
-
-#endif