Update kruskal.h