[acl2/acl2] c3eee0: one more doc fix

[solswords]

Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: c3eee0b1e5fa2107f13712e35e8239b6350a02ac
https://github.com/acl2/acl2/commit/c3eee0b1e5fa2107f13712e35e8239b6350a02ac
Author: Sol Swords <sol.s...@arm.com>
Date: 2026-03-03 (Tue, 03 Mar 2026)

Changed paths:
M books/centaur/fgl/syntax-bind.lisp

Log Message:
-----------
one more doc fix



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