From 07b08db0c5acdfcfab76f9d812a4ff36d98f0261 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Thu, 14 Jul 2022 00:18:08 +0900
Subject: huffman-encode: node-count: Add guards.

---
 huffman-encode.lisp | 1 +
 1 file changed, 1 insertion(+)

(limited to 'huffman-encode.lisp')

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