Delete dna.mli