[acl2/acl2] ffb49d: Update books

[Mihir Mehta]

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: ffb49dc961a305b1212fdc725fd3e592be4eade7
https://github.com/acl2/acl2/commit/ffb49dc961a305b1212fdc725fd3e592be4eade7
Author: Mihir Mehta <mi...@cs.utexas.edu>
Date: 2026-05-24 (Sun, 24 May 2026)

Changed paths:
M books/projects/filesystems/utilities/cpp-syntax/cpp-abstract-syntax.lisp
M books/projects/filesystems/utilities/cpp-syntax/cpp-expr-parser.lisp
M books/projects/filesystems/utilities/cpp-syntax/cpp-keywords.lisp
M books/projects/filesystems/utilities/cpp-syntax/cpp-member-full.lisp
M books/projects/filesystems/utilities/cpp-syntax/cpp-parser-tests.lisp
M books/projects/filesystems/utilities/cpp-syntax/cpp-parser.lisp
M books/projects/filesystems/utilities/cpp-syntax/cpp-token-utilities.lisp
M books/projects/filesystems/utilities/cpp-syntax/cpp-top-level-parser.lisp

Log Message:
-----------
Update books

A note in response to the email by @ericwhitmansmith : thanks for
letting me know about the broken build! Sorry it took me a few hours -
but I do have a fix though that disables failing assertions in the
book that broke the build.. Thanks also for your commit that commented
out the failing tests - I'm rebasing on top of it and believe, based
on certifying books on my machine, that the testing branch should get
back to normal now.



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

[Mihir Mehta]

Branch: refs/heads/master