ho fatto cosi.. è un pò più lungo ma funziona lo stesso!

codice:
 
 int verifica (int tab[N], int dim){
 int appoggio[N];
 int a=1,j,i,out;
 while (a<10) {           //scorro i numeri da 1 a 9 
  for (i=0; i<dim; i++){  //scorro il vettore di partenza 
   for (j=1; j<=9; j++){  //elemento jvettore di appoggio
    if (tab[i]==a)
     appoggio[j]=1;
    else 
     appoggio[j]=0;
   }
  }
 a++;
 }
 for (j=0; j<dim; j++){
  if (appoggio[j]==1)   //se sn tt 1 il vettore contiene 
   out=1;               //i numeri da 1 a 9 altrimenti no 
  else out=0;
 }
 return out;
}