[acl2/acl2] 652054: [C2C] Make sts-print-warnings tail-recursive

[Grant Jurgensen]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 65205441c3b686a3d966323a70c1430ff3b71320
https://github.com/acl2/acl2/commit/65205441c3b686a3d966323a70c1430ff3b71320
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] Make sts-print-warnings tail-recursive



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