[acl2/acl2] 75a527: Bug fix for script

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 75a5274267f3324839b8048a8839b84e7a21e5f7
https://github.com/acl2/acl2/commit/75a5274267f3324839b8048a8839b84e7a21e5f7
Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2026-03-04 (Wed, 04 Mar 2026)

Changed paths:
M books/projects/acl2-in-hol/.acl2holrc.bash

Log Message:
-----------
Bug fix for script



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

[acl2buildserver]

Branch: refs/heads/testing