diff options
Diffstat (limited to 'src/monitor-gui.cc')
| -rw-r--r-- | src/monitor-gui.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/monitor-gui.cc b/src/monitor-gui.cc index 8044a02..4f4f2fb 100644 --- a/src/monitor-gui.cc +++ b/src/monitor-gui.cc @@ -260,6 +260,10 @@ public: memory_[key] = value; } + void remove(std::string const& key) override { + memory_.erase(key); + } + private: std::unordered_map<std::string, std::string> memory_; }; |
