diff options
| -rw-r--r-- | huffman-encode.lisp | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/huffman-encode.lisp b/huffman-encode.lisp index 6da268f..a1a0a21 100644 --- a/huffman-encode.lisp +++ b/huffman-encode.lisp @@ -390,8 +390,7 @@ (consp y)))) (defthm consp-encode-1 - (implies (and (member-equal x (symbol-list tree)) - (huffman-treep tree) + (implies (and (huffman-treep tree) (nodep tree)) (consp (encode-1 x tree)))) @@ -399,8 +398,7 @@ (implies (and (consp x) (true-listp x) (huffman-treep tree) - (nodep tree) - (subsetp x (symbol-list tree))) + (nodep tree)) (consp (encode x tree)))) |