|
--- ./src/Timer.hh.orig 2004-05-14 11:14:47.822257792 +0200
|
|
+++ ./src/Timer.hh 2004-05-14 11:16:53.078215992 +0200
|
|
@@ -98,9 +98,9 @@
|
|
~_timer_queue(void) {}
|
|
|
|
void release(const _Tp& value) {
|
|
- c.erase(std::remove(c.begin(), c.end(), value), c.end());
|
|
+ this->c.erase(std::remove(this->c.begin(), this->c.end(), value), this->c.end());
|
|
// after removing the item we need to make the heap again
|
|
- std::make_heap(c.begin(), c.end(), comp);
|
|
+ std::make_heap(this->c.begin(), this->c.end(), this->comp);
|
|
}
|
|
bool empty(void) const { return _Base::empty(); }
|
|
size_t size(void) const { return _Base::size(); }
|