[c++] swap di puntatori

[pprllo]

Prova a dereferenziare:

void swap(lemma * v1,lemma * v2){
lemma vtemp;
vtemp=*v1;
*v1=*v2;
*v2=vtemp;
}