Delete prova.cpp~