diff options
Diffstat (limited to 'src/common/interface/EngineInterface.hpp')
| -rw-r--r-- | src/common/interface/EngineInterface.hpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/common/interface/EngineInterface.hpp b/src/common/interface/EngineInterface.hpp index e005502e..b82bf8c2 100644 --- a/src/common/interface/EngineInterface.hpp +++ b/src/common/interface/EngineInterface.hpp @@ -68,8 +68,6 @@ public: virtual void rename(const std::string& old_path, const std::string& new_symbol) = 0; - virtual void destroy(const std::string& path) = 0; - virtual void clear_patch(const std::string& patch_path) = 0; virtual void disconnect_all(const std::string& parent_patch_path, |