From f3c662421bc7913604355012bcced5d75051e505 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Thu, 14 Jul 2022 13:04:12 +0900
Subject: huffman-encode: Refactor.

---
 huffman-encode.lisp | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

(limited to 'huffman-encode.lisp')

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