Delete pretty.cmo