Delete tp1.ml~