[acl2/acl2] 767e58: [C2C] Fix typo in struct-type-split

[Grant Jurgensen]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 767e586a17b38c403cb2c9b3b9732c51b2602d1b
https://github.com/acl2/acl2/commit/767e586a17b38c403cb2c9b3b9732c51b2602d1b
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2026-06-24 (Wed, 24 Jun 2026)

Changed paths:
M books/kestrel/c/transformation/struct-type-split.lisp

Log Message:
-----------
[C2C] Fix typo in struct-type-split

Memberp expressions were accidentally being transformed into member
expressions in some situations. This was a copy/paste error.



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