bugs.html. We thank Francisco J. Martin-Mateos and Rob Sumners for their email reporting the two bugs, including concise examples and analysis.
You can choose any one of the following options in order to patch your copy of ACL2 Version 2.6.
make; see the Installation Guide).
patch.lispand follow these steps:
:qif your copy of ACL2 puts you in the ACL2 command loop.
(acl2-compile-file "patch.lisp" "patch.lisp").
:q ; only necessary if in ACL2 command loop (load "patch") (lp)
We apologize for the inconvenience.