aboutsummaryrefslogtreecommitdiff
path: root/L-99.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 /L-99.lisp
parenta51be68a1b9c1c2c4e720b49190fdd89a86885bb (diff)
Add `(in-package "ACL2")` lines.HEADmaster
Diffstat (limited to 'L-99.lisp')
-rw-r--r--L-99.lisp2
1 files changed, 2 insertions, 0 deletions
diff --git a/L-99.lisp b/L-99.lisp
index 3c8dc71..b1854fc 100644
--- a/L-99.lisp
+++ b/L-99.lisp
@@ -1,3 +1,5 @@
+(in-package "ACL2")
+
;; P01 (*) Find the last box of a list.
(defun my-last (x)
(declare (xargs :guard (and (true-listp x)