Ayuda con el codigo en C

[Stark90]

Buenas!

estoy aprendiendo a programar con este lenguaje y necesito una pequeña ayuda, estoy empezando un programa y ya me esta dando fallos, seguro que es alguna tonteria... Pero por ahora lo unico que tiene que hacer es sacar 4 numeros aleatorios del 0 al 9 sin que se repita ninguno. Compilo en Dev-C, os paso el codigo, se me queda en bucle infinito antes de que los saque por pantalla:

#include <stdio.h>
#include <time.h>
#include<windows.h>
#include<string.h>

#define CARTAS 4
#define RES 6

int main(){

int principal[CARTAS];
int aux[RES];
int cont,contaux;

srand(time(NULL));
for(cont=0;cont<CARTAS;cont++){
principal[cont]=rand()%10;
for(contaux=0;contaux<CARTAS;contaux++){
if(principal[cont]==principal[contaux]){
cont=0;
}
}
}
for(cont=0;cont<CARTAS;cont++){
printf("%d ", principal[cont]);
}
getch();
}

Gracias de antemano!