diff options
Diffstat (limited to 'blackjack.lisp')
-rw-r--r-- | blackjack.lisp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/blackjack.lisp b/blackjack.lisp index 4789912..e21c885 100644 --- a/blackjack.lisp +++ b/blackjack.lisp @@ -1,6 +1,6 @@ (in-package "ACL2") -(include-book "standard-52-card-deck/standard-52-card-deck") +(include-book "standard-52-card-deck/top") (defun sum (x) (declare (xargs :guard (nat-listp x))) |