diff options
-rw-r--r-- | huffman-encode.lisp | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/huffman-encode.lisp b/huffman-encode.lisp index 8bdd05b..c8ca8b3 100644 --- a/huffman-encode.lisp +++ b/huffman-encode.lisp @@ -173,12 +173,11 @@ (implies (rationalp w) (huffman-treep (huffman-leaf s w)))) -(in-theory (disable - nodep huffman-treep - leaf-symbol - huffman-leaf huffman-node - symbol-list weight left right - node-count)) +(in-theory (disable nodep huffman-treep + leaf-symbol + huffman-leaf huffman-node + symbol-list weight left right + node-count)) ;;; Generate huffman trees (defun huffman-leaf-listp (x) |