--- studenti/DanieleFortuna/tests-DanieleFortuna.c.orig	2005-06-07 16:33:12.000000000 +0200
+++ studenti/DanieleFortuna/tests-DanieleFortuna.c	2005-06-07 16:33:12.000000000 +0200
@@ -12,9 +12,9 @@
 	{
 	case 10:
 	tipo_di_test=NULL_POINTER;
-	a=leggifile(NULL);
-	(a!=NULL_POINTER) 
-	{printf("Argomento in esame: leggifile(%d)\n", argomento);
+	a=leggiFile(NULL);
+	if (a!=NULL_POINTER) 
+	{printf("Argomento in esame: leggiFile(%d)\n", argomento);
          printf("Risultato atteso: %d\n", tipo_di_test);
          printf("Risultato ottenuto: %d\n", a);
          printf("Possibile causa: la funzione non controlla se riceve un puntatore nullo\n");
@@ -23,9 +23,9 @@
 	
 	case 11:
 	tipo_di_test=BUFFER_TOO_SMALL;
-	a=leggifile(0);
+	a=leggiFile(0);
 	if (a!=BUFFER_TOO_SMALL) 
-	{printf("Argomento in esame: leggifile(%d)\n", tipo_di_test);
+	{printf("Argomento in esame: leggiFile(%d)\n", tipo_di_test);
          printf("Risultato atteso: %d\n", tipo_di_test);
          printf("Risultato ottenuto: %d\n", a);
          printf("Possibile causa: il blocco di memoria (o vettore) passato non sufficiente a contenere i dati\n");
@@ -34,16 +34,16 @@
 	
 	case 12:
 	tipo_di_test=FILE_EMPTY;
-	a=leggifile(EOF);
+	a=leggiFile(EOF);
 	if (a!=FILE_EMPTY) 
-	{printf("Argomento in esame: leggifile(%d)\n", tipo_di_test);
+	{printf("Argomento in esame: leggiFile(%d)\n", tipo_di_test);
          printf("Risultato atteso: %d\n", tipo_di_test);
          printf("Risultato ottenuto: %d\n", a);
          printf("Possibile causa: il file �vuoto\n");
 	}
 	break;
 	
-	default return ARG_MISSING;
+	default: return ARG_MISSING;
 	}
 }
 }