[acl2/acl2] 6f9add: [C2C] Fix old symbol and ttags

[Grant Jurgensen]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 6f9addf19744cbabe65cf552b5a3ad3981a68e8c
https://github.com/acl2/acl2/commit/6f9addf19744cbabe65cf552b5a3ad3981a68e8c
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2026-07-07 (Tue, 07 Jul 2026)

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

Log Message:
-----------
[C2C] Fix old symbol and ttags



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