[acl2/acl2] be6e4c: [C2C] Fix name of add-section-attr keyword argument

[Grant Jurgensen]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: be6e4cc06bafcf4744ec33d62e19fce58f2cfd47
https://github.com/acl2/acl2/commit/be6e4cc06bafcf4744ec33d62e19fce58f2cfd47
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2026-02-05 (Thu, 05 Feb 2026)

Changed paths:
M books/kestrel/c/transformation/add-section-attr-doc.lisp

Log Message:
-----------
[C2C] Fix name of add-section-attr keyword argument

Thanks to Eric Smith for noticing the name in the XDOC was different
from the actual expected name.


Commit: ec5ec43bc8719f2045a66752955914f174be93a4
https://github.com/acl2/acl2/commit/ec5ec43bc8719f2045a66752955914f174be93a4
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2026-02-05 (Thu, 05 Feb 2026)

Changed paths:
M books/kestrel/c/transformation/tests/add-section-attr/add-section-attr.lisp

Log Message:
-----------
[C2C] Add add-section-attr test case


Compare: https://github.com/acl2/acl2/compare/6356fc47b78c...ec5ec43bc871

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

[Grant Jurgensen]

Branch: refs/heads/master

[Grant Jurgensen]

Branch: refs/heads/testing