[acl2/acl2] 2c51ae: [kestrel] Fix 2 typos found by Gemini.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 2c51ae7fedd14da919355b41a9e655e59c7b20cf
https://github.com/acl2/acl2/commit/2c51ae7fedd14da919355b41a9e655e59c7b20cf
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-17 (Wed, 17 Dec 2025)

Changed paths:
M books/kestrel/c/atc/generation-contexts.lisp
M books/kestrel/event-macros/applicability-conditions.lisp

Log Message:
-----------
[kestrel] Fix 2 typos found by Gemini.



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

[Eric W. Smith]

Branch: refs/heads/master

[Eric W. Smith]

Branch: refs/heads/testing