[acl2/acl2] 3863ec: [C$] Remove enables for newly whitelisted functions

[Grant Jurgensen]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 3863ec070c6ceb8bf58127c9e5b6f6cae5169d7d
https://github.com/acl2/acl2/commit/3863ec070c6ceb8bf58127c9e5b6f6cae5169d7d
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2026-05-01 (Fri, 01 May 2026)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/langdef-mapping-inverse.lisp
M books/kestrel/c/syntax/lexer.lisp
M books/kestrel/c/syntax/preprocessor-lexer.lisp
M books/kestrel/c/syntax/preprocessor-reader.lisp
M books/kestrel/c/syntax/types.lisp
M books/kestrel/c/syntax/validation-information.lisp

Log Message:
-----------
[C$] Remove enables for newly whitelisted functions

These functions are no longer disabled by
disable-most-builtin-logic-defuns, and so don't need to be enabled in
these proofs.



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