diff options
Diffstat (limited to 'fast-expt.lisp')
| -rw-r--r-- | fast-expt.lisp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/fast-expt.lisp b/fast-expt.lisp index 3318946..d3fb779 100644 --- a/fast-expt.lisp +++ b/fast-expt.lisp @@ -1,3 +1,5 @@ +(in-package "ACL2") + (defmacro square (x) `(* ,x ,x)) |