remove unused parameter

This commit is contained in:
Andreas Fabri 2007-03-19 07:54:01 +00:00
parent 88a5f1f46c
commit 37636ee34b
1 changed files with 1 additions and 1 deletions

View File

@ -51,7 +51,7 @@ public:
handle update ( value_type const& v, handle h ) { mHeap.update(v); return h ; }
handle erase ( value_type const& v, handle h ) { mHeap.remove(v); return null_handle() ; }
handle erase ( value_type const& v, handle ) { mHeap.remove(v); return null_handle() ; }
value_type top() const { return mHeap.top() ; }