diff options
| author | Marius Kintel <marius@kintel.net> | 2011-11-25 21:41:36 (GMT) |
|---|---|---|
| committer | Marius Kintel <marius@kintel.net> | 2011-11-25 21:41:36 (GMT) |
| commit | 60e4c81b4304d40d2e77990d746a9e387d1637d7 (patch) | |
| tree | dfe5bfa4afc435496fe2bf1cdbf1626fcebbc2f5 /src/traverser.h | |
| parent | 7996b8ed8d84be9c95ff083973754b4d85eb2d42 (diff) | |
Support for traversal pruning and abortion
Diffstat (limited to 'src/traverser.h')
| -rw-r--r-- | src/traverser.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/traverser.h b/src/traverser.h index 85373cc..73078e7 100644 --- a/src/traverser.h +++ b/src/traverser.h @@ -15,7 +15,7 @@ public: void execute(); // FIXME: reverse parameters - void traverse(const AbstractNode &node, const class State &state); + Response traverse(const AbstractNode &node, const class State &state); private: Visitor &visitor; |