summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--huffman-encode.lisp11
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)