[gecode-users] memory management problem (newbie)

[Guido Tack]

Hi.
> Christian,
> Thanks but I don't quite follow you.
>
> > The problem is that you do not delete a! When a search engine is created
> > it takes a copy, so the space from which the copy is taken must be
> > deleted.
>
> I do not create any search engine, do I (the solve call is commented)?
> Probably I am missing the point.

Not at all. You have discovered a memory leak in the distinct propagator for 
sets. Thanks a lot! I have fixed it in the trunk.

Cheers,
	Guido


-- 
Guido Tack
Programming Systems Lab, Saarland University, Germany
http://www.ps.uni-sb.de/~tack