Delete pretty.cmi