Ver originalint getInt(void){ int num, i; char c; do { i = scanf("%d",&num); if (i != 1) scanf("%c",&c); } while ( i != 1 ); return num;}