diff options
Diffstat (limited to 'src/nodedumper.h')
| -rw-r--r-- | src/nodedumper.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/nodedumper.h b/src/nodedumper.h index fceaacb..efaf4fa 100644 --- a/src/nodedumper.h +++ b/src/nodedumper.h @@ -20,7 +20,7 @@ public: cache(cache), idprefix(idPrefix), root(NULL) { } virtual ~NodeDumper() {} - virtual Response visit(const State &state, const AbstractNode &node); + virtual Response visit(State &state, const AbstractNode &node); private: void handleVisitedChildren(const State &state, const AbstractNode &node); |