Ayuda con el codigo en C

[Fw190]

El problema lo tienes en el bucle anidado donde creas las cartas. Tras generar la primera carta, que guardas en principal[0] (cont vale 0), en el bucle interno la comparas con principal[0] (contaux vale 0), con lo que la condición de la igualdad se cumple siempre, pones la variable de control del bucle externo a 0 y vuelves a empezar, el bucle externo nunca llega a la condición de terminación.

Conclusión: No cambies el valor de la variable de control de un bucle dentro de este.