Delete pretty.cmx