[acl2/acl2] d5085a: Added a call (comp t) to avoid certification failu...

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: d5085ad5638a292805410f85018066e72e87fd7e
https://github.com/acl2/acl2/commit/d5085ad5638a292805410f85018066e72e87fd7e
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2026-07-01 (Wed, 01 Jul 2026)

Changed paths:
M books/demos/claude/qsort-examples.lisp

Log Message:
-----------
Added a call (comp t) to avoid certification failure using GCL.



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

[MattKaufmann]

Branch: refs/heads/testing