Qualcosa del genere, nel tuo caso, potrebbe andare

codice:
#define N 20

...

char s[N+1];

do
{
  printf("Scelta: ");
  fgets(s, N,  stdin);
} while(atoi(s)<1 || atoi(s)>3);