JordI

textoPlano/punto 9

@@ -1,14 +1,8 @@
 problema boicotPorDisciplna (j:JJOO, cat: (deporte,sexo), p:pais) = res : Int {
 
-	requiere pertenece(cat,j)
+	requiere existe (c <- todasLasCompetencias(j)) categoria(c) == cat;
 	requiere finalizada (competenciaFiltrada(j,cat)) == false     // asumimos que se saca a los participantes antes de finalizar la competencia
 
-	/*
-	+------------------------+
-	|  ARREGLAR EL COSO      |
-	+------------------------+
-	*/
-
 
 	modifica j;