Simplify erase_one slightly. It's not necessary to preserve
the value of the element to be erased while the heap is being updated. llvm-svn: 52646
Loading
Please register or sign in to comment
the value of the element to be erased while the heap is being updated. llvm-svn: 52646