[acl2/acl2] c9f412: Fixed a typo in a comment, found by Eric Smith.

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: c9f4128e658ba8a7bc7648949ccc976a99390473
https://github.com/acl2/acl2/commit/c9f4128e658ba8a7bc7648949ccc976a99390473
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2026-03-25 (Wed, 25 Mar 2026)

Changed paths:
M axioms.lisp

Log Message:
-----------
Fixed a typo in a comment, found by Eric Smith.



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

[MattKaufmann]

Branch: refs/heads/testing