Delete prova.rex