asdad

textoPlano/punto 9

@@ -28,7 +28,7 @@ problema boicotPorDisciplna (j:JJOO, cat: (deporte,sexo), p:pais) = res : Int {
 	asegura (ParaToda comp <- todasLasCompetencias(j), (prm(categoria(comp)) == prm(cat) ^ sgd(categoria(comp)) == seg(cat)))
 		(ParaTodo atl <- participantes(comp)) nacionalidad (atl) != p;
 
-	*
+	/*
 	+---------------------+
 	| v AUXILIAR GLOBAL v |
 	+---------------------+