[acl2/acl2] a20359: [C$] Fix validator UID bug

[Grant Jurgensen]

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

Changed paths:
M books/kestrel/c/syntax/tests/validator.lisp
M books/kestrel/c/syntax/validator.lisp

Log Message:
-----------
[C$] Fix validator UID bug

This is similar to the previous UID bug. Function definitions were not
always reusing UIDs as they should.



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