[acl2/acl2] 009b27: Fixed error message from (defattach f g) when f is...

[GitHub]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 009b27725b45ac7d889c953c37a6cb0c0a2aced7
https://github.com/acl2/acl2/commit/009b27725b45ac7d889c953c37a6cb0c0a2aced7
Author: Matt Kaufmann <kauf...@Matts-MBP.attlocal.net>
Date: 2016-08-24 (Wed, 24 Aug 2016)

Changed paths:
M books/system/doc/acl2-doc.lisp
M other-events.lisp

Log Message:
-----------
Fixed error message from (defattach f g) when f is a built-in primitive like acl2-numberp (issue pointed out by J).

[GitHub]

Branch: refs/heads/testing