1 files changed, 2 insertions, 0 deletions

diff --git a/units.lisp b/units.lisp
index 4b353e1..8533509 100644
--- a/units.lisp
+++ b/units.lisp
@@ -1,3 +1,5 @@
+(in-package "ACL2")
+
 (defun m (x)
   x)