aboutsummaryrefslogtreecommitdiff
path: root/pigeonhole.lisp
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2021-09-09 22:53:04 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2021-09-09 22:53:19 +0900
commit5163a157c4f9b552db220efaa753f210518817fe (patch)
tree9069b28ef45eadb636e221a6265fde31c8481769 /pigeonhole.lisp
parenta51be68a1b9c1c2c4e720b49190fdd89a86885bb (diff)
Add `(in-package "ACL2")` lines.HEADmaster
Diffstat (limited to 'pigeonhole.lisp')
-rw-r--r--pigeonhole.lisp2
1 files changed, 2 insertions, 0 deletions
diff --git a/pigeonhole.lisp b/pigeonhole.lisp
index 91c221f..23b8637 100644
--- a/pigeonhole.lisp
+++ b/pigeonhole.lisp
@@ -1,3 +1,5 @@
+(in-package "ACL2")
+
(defun member-if-over-1 (x)
(cond ((endp x) nil)
((< 1 (car x)) x)