[gecode-users] Space allocator

[Gustavo Gutierrez]

Hello,

After trying to allocate memory for a boost data structure from a gecode
space we got an error regarding a missing assignment operator in the
allocator code. We don't know if this method is actually needed by more data
structures or not but we think  the code fixing the problem is quite simple
and probably you could include it. Attached to this mail you will find the
small patch.


Regards,
-- 
Gustavo
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20091124/aa4216b0/attachment.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: allocator.patch
Type: text/x-patch
Size: 635 bytes
Desc: not available
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20091124/aa4216b0/attachment.bin>