[acl2/acl2] 3e6aef: [safestruct] Add mising type.

[Alessandro Coglio]

Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: 3e6aef89a2a684a4b948f881918813edf2a283b6
https://github.com/acl2/acl2/commit/3e6aef89a2a684a4b948f881918813edf2a283b6
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-18 (Thu, 18 Jun 2026)

Changed paths:
M books/kestrel/c/transformation/struct-safety-checks.lisp

Log Message:
-----------
[safestruct] Add mising type.



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