1 files changed, 15 insertions, 0 deletions
diff --git a/x11-wm/boxtools/files/patch-src::Timer.hh b/x11-wm/boxtools/files/patch-src::Timer.hh
new file mode 100644
index 0000000..89b27ec
--- /dev/null
+++ b/x11-wm/boxtools/files/patch-src::Timer.hh
@@ -0,0 +1,15 @@
+--- src/Timer.hh~	Sun Aug  1 17:13:29 2004
++++ src/Timer.hh	Sun Aug  1 17:14:13 2004
+@@ -98,9 +98,10 @@
+   ~_timer_queue(void) {}
+ 
+   void release(const _Tp& value) {
+-    c.erase(std::remove(c.begin(), c.end(), value), c.end());
++    _Base::c.erase(std::remove(_Base::c.begin(), _Base::c.end(), value),
++			_Base::c.end());
+     // after removing the item we need to make the heap again
+-    std::make_heap(c.begin(), c.end(), comp);
++    std::make_heap(_Base::c.begin(), _Base::c.end(), _Base::comp);
+   }
+   bool empty(void) const { return _Base::empty(); }
+   size_t size(void) const { return _Base::size(); }