Martu 10 년 전
부모
커밋
3d15090fa8
1개의 변경된 파일1개의 추가작업 그리고 1개의 파일을 삭제
  1. 1 1
      textoPlano/punto 9

+ 1 - 1
textoPlano/punto 9

@@ -1,7 +1,7 @@
 problema boicotPorDisciplna (j:JJOO, cat: (deporte,sexo), p:pais) = res : Int {
 
-	requiere finalizada (j) == false     // asumimos que se saca a los participantes antes de finalizar la competencia
 	requiere pertenece(cat,j)
+	requiere finalizada (competenciaFiltrada(j,cat)) == false     // asumimos que se saca a los participantes antes de finalizar la competencia
 
 	/*
 	+------------------------+