diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2022-07-14 00:18:08 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2022-07-14 00:18:08 +0900 |
| commit | 07b08db0c5acdfcfab76f9d812a4ff36d98f0261 (patch) | |
| tree | f1373f7e6502c1552f5b7df0b1befe8cae56fc56 | |
| parent | 03bd0127e05da64cf0e5b2322095b487a447c93d (diff) | |
huffman-encode: node-count: Add guards.
| -rw-r--r-- | huffman-encode.lisp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/huffman-encode.lisp b/huffman-encode.lisp index eeaa38f..17c9c72 100644 --- a/huffman-encode.lisp +++ b/huffman-encode.lisp @@ -103,6 +103,7 @@ :rule-classes :elim) (defun node-count (x) + (declare (xargs :guard (huffman-treep x))) (if (nodep x) (+ 1 (node-count (left x)) |