diff options
| -rw-r--r-- | huffman-encode.lisp | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/huffman-encode.lisp b/huffman-encode.lisp index bd5d4d4..ff9fc20 100644 --- a/huffman-encode.lisp +++ b/huffman-encode.lisp @@ -35,11 +35,6 @@ (declare (xargs :guard (rationalp w))) (list 'leaf s w)) -(defun huffman-leafp (x) - (declare (xargs :guard t)) - (and (huffman-treep x) - (not (nodep x)))) - (defun leaf-symbol (x) (declare (xargs :guard (and (huffman-treep x) (not (nodep x))))) |