aboutsummaryrefslogtreecommitdiff
path: root/pigeonhole.lisp
diff options
context:
space:
mode:
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)