[acl2/acl2] 390785: [aleo] Update comment on GCL issue.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 390785d395568da2db7f821b74f90c91b96dbfdb
https://github.com/acl2/acl2/commit/390785d395568da2db7f821b74f90c91b96dbfdb
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-06 (Sat, 06 Dec 2025)

Changed paths:
M books/projects/aleo/vm/circuits/axe/blake2s1round.old.lisp

Log Message:
-----------
[aleo] Update comment on GCL issue.



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

[Eric W. Smith]

Branch: refs/heads/master

[Eric W. Smith]

Branch: refs/heads/testing