Re: [PPL-devel] [Yap-users] Interfacing Yap with a C++ library

Roberto,

the code assumes YAP successfully allocated memory, and it seems it did not. I'll try to see I can repeat it, but I suspect it's a difference between different versions of the Linux libc.