diff options
Diffstat (limited to 'src/server/events/Mark.hpp')
| -rw-r--r-- | src/server/events/Mark.hpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/server/events/Mark.hpp b/src/server/events/Mark.hpp index db5550a0..a68e3b3b 100644 --- a/src/server/events/Mark.hpp +++ b/src/server/events/Mark.hpp @@ -48,8 +48,11 @@ public: void execute(RunContext& context); void post_process(); + Execution get_execution() const override; + private: Type _type; + int _depth; }; } // namespace Events |