1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/alloc-pool.h b/gcc/alloc-pool.h
index fd7194b..4e78dcf 100644
--- a/gcc/alloc-pool.h
+++ b/gcc/alloc-pool.h
@@ -524,6 +524,12 @@ public:
     m_allocator.remove (object);
   }
 
+  inline void
+  remove_raw (void *object)
+  {
+    m_allocator.remove (object);
+  }
+
   inline size_t
   num_elts_current ()
   {