Re: ardlib

From: Dave Smith (dasmith@astro.umd.edu)
Date: Thu Aug 31 2000 - 13:34:37 EDT

Next message: Belinda Wilkes: "Re: DEC and docs"
Previous message: Larry David: "ardlib"
In reply to: Larry David: "ardlib"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi,

This is a known bug. There is a web page that describes how to get around
this -

http://asc.harvard.edu/ciao/bugs/punlearn.bug1.html

Dave Smith.

>
> 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
>

Next message: Belinda Wilkes: "Re: DEC and docs"
Previous message: Larry David: "ardlib"
In reply to: Larry David: "ardlib"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b29 : Wed May 15 2013 - 01:00:02 EDT