1 files changed, 2 insertions, 0 deletions

diff --git a/flist.lisp b/flist.lisp
index dc6ffe7..8e38395 100644
--- a/flist.lisp
+++ b/flist.lisp
@@ -1,3 +1,5 @@
+(in-package "ACL2")
+
 (defun true-flistp (x)
   (if (endp x)
       (null x)