Delete BuildDFA.hs~