diff options
| -rw-r--r-- | huffman-encode.lisp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/huffman-encode.lisp b/huffman-encode.lisp index 728b012..f634a84 100644 --- a/huffman-encode.lisp +++ b/huffman-encode.lisp @@ -155,7 +155,7 @@ (implies (huffman-treep x) (true-listp (symbol-list x)))) -(defthm symbol-list-leaf +(defthm symbol-list-leaf-symbol (implies (and (huffman-treep x) (not (nodep x))) (equal (symbol-list x) |