Boost::binomial_heap Sanity check error

[jun.kudo@…]

Configured with BOOST_HEAP_SANITYCHECKS turned on.

Binomial heap hits an assertion failure (BOOST_HEAP_ASSERT(top_element == found_top)) when pushing nodes with the same priority.

#include "boost/heap/binomial_heap.hpp"
typedef boost::heap::binomial_heap<int> Heap;

int main(int argc, char* argv[]) {
  Heap heap0;
  heap0.push(1);
  heap0.push(1);
}