Erratum for

 W.~Drabent, J.~Maluszynski, P.~Pietrzak.
 Using parametric set constraints for locating errors in {CLP} programs. 
 {\em Theory and Practice of Logic Programming}, 2(4-5):549--610, 2002. 

p. 591, l. -7,6.  Remove
"and k ranges over the occurrences of X in the considered atom".

p. 597, Ex. 5.6, l. 5  
Replace  "as for j=0"  by  "as for k=0".