diff options
Diffstat (limited to 'src/projectionnode.h')
| -rw-r--r-- | src/projectionnode.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/projectionnode.h b/src/projectionnode.h index 3646d84..9cc7918 100644 --- a/src/projectionnode.h +++ b/src/projectionnode.h @@ -14,6 +14,7 @@ public: return visitor.visit(state, *this); } virtual std::string toString() const; + virtual std::string name() const { return "projection"; } int convexity; bool cut_mode; |