[PPL-devel] Re: Segmentation faults with Ciao 1.9#44

[Jose Morales]

> Roberto, as we discussed yesterday we believe this bug (also in
> SICStus) is fixed in the 1.11 development version. Perhaps you can try
> with the 1.11 version installed in clip (or with JFran's development
> 1.11). Cheers --Manuel

The 1.11 in ~clip/Systems/ciao has none of the bug patches :( My local
copy has, but I'm in the middle of a huge change and it does not even
compile. I can put a working version somewhere as soon as possible and
tell you how to use it.