Pare che la funzione fflush non funzioni bene su Linux con stdin...ho trovato in giro che alcuni consigliano di usare:
codice:
scanf("%*s");
Ma spero che qualcuno del forum possa illuminarci