Delete bla.sml