Update minheap.h