diff src/base-list.h @ 5142:0f9108f298ab

[project @ 2005-02-12 02:29:34 by jwe]
author jwe
date Sat, 12 Feb 2005 02:29:35 +0000
parents 1363b7e9bf3a
children 4c8a2e4e0717
line wrap: on
line diff
--- a/src/base-list.h
+++ b/src/base-list.h
@@ -40,6 +40,9 @@
 
   iterator erase (iterator pos) { return lst.erase (pos); }
 
+  template <class P>
+  void remove_if (P pred) { lst.remove_if (pred); }
+
   void clear (void) { lst.clear (); }
 
   void append (const elt_type& s) { lst.push_back (s); }