summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2022-07-14 01:03:03 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2022-07-14 01:03:03 +0900
commit68b68a6ed58f3205e9c4f9145bfdeb09b3aa3dce (patch)
treee09a43723ae9e742e5715bdf4f7900616291d953
parent661601222ef3787b0b9d84bd7037f42d3ce1f53f (diff)
huffman-encode: Update comment.
-rw-r--r--huffman-encode.lisp2
1 files changed, 1 insertions, 1 deletions
diff --git a/huffman-encode.lisp b/huffman-encode.lisp
index edc05f1..bd5d4d4 100644
--- a/huffman-encode.lisp
+++ b/huffman-encode.lisp
@@ -1,7 +1,7 @@
;;; Provide Huffman encoding
(in-package "ACL2")
-;;; Deine Huffman tree
+;;; Deine huffman tree
(defun nodep (x)
(declare (xargs :guard t))
(and (consp x)