SBCL

  1. Bug #795705
  2. Comment #2

Comment 2 for bug 795705

Revision history for this message
Matt Kaufmann (kaufmann) wrote :

Thank you for fixing this so quickly!

Is there a bit of code I can put into my sources that works around this
problem? (Otherwise, I'll need to disallow builds of ACL2 on SBCL
1.0.49.)