Update SkewHeap.h