Changes to be committed:
	modified:   binheap.h