From 68b68a6ed58f3205e9c4f9145bfdeb09b3aa3dce Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Thu, 14 Jul 2022 01:03:03 +0900
Subject: huffman-encode: Update comment.

---
 huffman-encode.lisp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'huffman-encode.lisp')

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)
-- 
cgit v1.2.3