[acl2/acl2] 7bab5d: [C$] Fix XDOC.

[Alessandro Coglio]

Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: 7bab5d1cbb1684c85f9fee5f691becf871456b87
https://github.com/acl2/acl2/commit/7bab5d1cbb1684c85f9fee5f691becf871456b87
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-18 (Wed, 18 Mar 2026)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-trees.lisp

Log Message:
-----------
[C$] Fix XDOC.



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