[acl2/acl2] fe7b58: Improved on fix from earlier today, for error mess...

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: fe7b58d59124ccd48d6fc58732d250e7aa46dd67
https://github.com/acl2/acl2/commit/fe7b58d59124ccd48d6fc58732d250e7aa46dd67
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2025-12-02 (Tue, 02 Dec 2025)

Changed paths:
M axioms.lisp

Log Message:
-----------
Improved on fix from earlier today, for error messages from certain bad er calls.



To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications

[MattKaufmann]

Branch: refs/heads/testing