1 files changed, 2 insertions, 0 deletions

diff --git a/peano.lisp b/peano.lisp
index 8fedc56..9ea24ba 100644
--- a/peano.lisp
+++ b/peano.lisp
@@ -1,3 +1,5 @@
+(in-package "ACL2")
+
 (defmacro zero? (x)
   `(equal ,x nil))