Delete timsort.h