Fix type in help output

This commit is contained in:
Alexander Rosenberg 2024-09-03 18:24:08 -07:00
parent 7a80c02bc8
commit 4d71df6d7e
Signed by: Zander671
GPG Key ID: 5FD0394ADBD72730

View File

@ -875,7 +875,7 @@ arguments will be placed in a list at the beginning of the alist."
(defun print-usage (stream spec)
"Print the command line usage corresponding to SPEC to STREAM."
(format stream "usage: truth-table [options] <proposition>~%~%")
(format stream "usage: truth-table [options] <propositions...>~%~%")
(loop with longest-option
= (apply 'max (mapcar
(lambda (entry)