Hi,
Why do I always get the following message with ciao?
cfa271-48: punlearn ardlib
Segmentation fault
punlearn works fine with other ciao tools. plist
and pset on ardlib also work fine.
Larry
This archive was generated by hypermail 2b29 : Thu Dec 13 2012 - 01:00:03 EST