[acl2/acl2] d62440: Fixed bug involving new acl2-compiled-file calls.

[MattKaufmann]

Branch: refs/heads/page-char-in-allegro
Home: https://github.com/acl2/acl2
Commit: d62440e415e669575876dd9f6565672690f51cd1
https://github.com/acl2/acl2/commit/d62440e415e669575876dd9f6565672690f51cd1
Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2026-08-14 (Fri, 14 Aug 2026)

Changed paths:
M interface-raw.lisp

Log Message:
-----------
Fixed bug involving new acl2-compiled-file calls.



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