diff options
Diffstat (limited to 'huffman-encode.lisp')
-rw-r--r-- | huffman-encode.lisp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/huffman-encode.lisp b/huffman-encode.lisp index eeaa38f..17c9c72 100644 --- a/huffman-encode.lisp +++ b/huffman-encode.lisp @@ -103,6 +103,7 @@ :rule-classes :elim) (defun node-count (x) + (declare (xargs :guard (huffman-treep x))) (if (nodep x) (+ 1 (node-count (left x)) |