|
| From: | Paul F. Dietz |
| Subject: | Re: [Gcl-devel] Patch for TYPEP |
| Date: | Wed, 26 Feb 2003 06:47:55 -0600 |
| User-agent: | Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.2) Gecko/20021126 |
I wrote:
The bug is in lsp/predlib.lsp, introduced in version 1.5. Here's a patch (not tested):
I've checked in the change for this. I didn't test it on Maxima or
ACL2, but I doubt very much it would have broken anything there.
Paul
| [Prev in Thread] | Current Thread | [Next in Thread] |