Delete aludec.v