From ed32e9654d7ac587470f3a9190c708483d68de52 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Fri, 15 Jul 2022 23:32:42 +0900
Subject: perm: Add (in-package "ACL2").

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

diff --git a/perm.lisp b/perm.lisp
index 01b9271..e1d8c77 100644
--- a/perm.lisp
+++ b/perm.lisp
@@ -1,3 +1,5 @@
+(in-package "ACL2")
+
 (defun perm (x y)
   (cond
     ((atom x) (atom y))
-- 
cgit v1.2.3