From 5163a157c4f9b552db220efaa753f210518817fe Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Thu, 9 Sep 2021 22:53:04 +0900
Subject: Add `(in-package "ACL2")` lines.

---
 L-99.lisp | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'L-99.lisp')

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