diff options
| -rw-r--r-- | huffman-encode.lisp | 2 |
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) |