Delete maindec.v