Delete prova2lib.txt