asd

textoPlano/punto 9

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