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.

---
 palindrome-sandwich.lisp | 1 +
 1 file changed, 1 insertion(+)

(limited to 'palindrome-sandwich.lisp')

diff --git a/palindrome-sandwich.lisp b/palindrome-sandwich.lisp
index 98f5e64..b2d2a9d 100644
--- a/palindrome-sandwich.lisp
+++ b/palindrome-sandwich.lisp
@@ -7,6 +7,7 @@
 ;;;                 (true-listp y))
 ;;;            (equal (palindromep (app y (app x (rev y))))
 ;;;                   (palindromep x))))
+(in-package "ACL2")
 
 ;; 二つのリストを連結する
 (defun app (x y)
-- 
cgit v1.2.3