Update MiniSpanTree.h