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

[Manuel Hermenegildo]

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

-- 

-----------------------------------------------------------------------------
herme at fi.upm.es                      | Manuel Hermenegildo                 
+34-91-336-7435 (Work)               | Facultad de Informatica, UPM
+34-91-352-4819 or 336-7412 (FAX)    | Universidad Politecnica de Madrid   
http://www.clip.dia.fi.upm.es/~herme | 28660-Boadilla del Monte, MADRID SPAIN
-----------------------------------------------------------------------------