1 files changed, 4 insertions, 0 deletions
diff --git a/src/mixed_arena.h b/src/mixed_arena.h
index a1c51b5eb..90203842e 100644
--- a/src/mixed_arena.h
+++ b/src/mixed_arena.h
@@ -223,6 +223,10 @@ public:
     usedElements -= size;
   }
 
+  void erase(Iterator it) {
+    erase(it, it + 1);
+  }
+
   void clear() {
     usedElements = 0;
   }