La parte riguardante la strtok deve essere

codice:
   char *parola;

   // ...

   printf ("Le parole sono : \n");
   parola = strtok(stringa, " "); 
   while (parola)
   { 
      printf ("%s\n", parola);
      parola = strtok(NULL, " ");
   }
Considera che parola deve essere un puntatore a char e non un semplice char.