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 ] [ attachment ]

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 ] [ attachment ]

This archive was generated by hypermail 2.1.7 : Mon Mar 29 2004 - 13:17:56 EST