Raphael Collet <raph at info.ucl.ac.be> writes: > with identical locations. (Isn't oz_gCollectTerm() robust in such a case?) yes it is. it's perfectly fine. > Sounds fine to me. ok. I commited a fix. --Denys