interval map: clean map on destruction

2023-03-12 22:14:05 +01:00 · 2023-03-12 22:14:05 +01:00 · ddd047e82f
parent ab762eb9bc
commit ddd047e82f
1 changed files with 4 additions and 0 deletions
--- a/include/intervalmap.hpp
+++ b/include/intervalmap.hpp
@ -11,6 +11,10 @@ class IntervalMap
 {

 public:
+    ~IntervalMap(){
+	treemap.clear();
+    }
+
    void insert(int start, int end, V value)
    {
        if (start >= end)