[acl2/acl2] b4df8f: Fixed typo.

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: b4df8fad9fe1baa75bc692334b13517c9e4b9558
https://github.com/acl2/acl2/commit/b4df8fad9fe1baa75bc692334b13517c9e4b9558
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2026-01-08 (Thu, 08 Jan 2026)

Changed paths:
M books/projects/dpss/Base/events.lisp

Log Message:
-----------
Fixed typo.

This typo was found in an SBCL-based safety-3 run. Thanks to Eric
Smith for setting up leeroy to run tests with safety 3. The typo
was "delare" instead of "declare" here:

(def::und smallest-impending-dt-index (ens)
(delare (xargs :fty ((uav-list) uav-id)))
...)

Apparently the def::und macro could be improved by doing more checking.



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

[MattKaufmann]

Branch: refs/heads/testing