diff options
| -rw-r--r-- | x11-wm/boxtools/files/patch-src::Timer.hh | 15 |
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 000000000000..89b27ecf0e21 --- /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(); } |