aboutsummaryrefslogtreecommitdiff
path: root/blackjack.lisp
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2021-08-22 18:13:41 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2021-08-22 18:13:41 +0900
commitf91fec3cc4c7ccc581f08401b7768f44b5f335ad (patch)
tree420f14ccb82e59102feaf4875a44f5e0d9afd7f2 /blackjack.lisp
parent2e3d30de9209a9affd6225cba5f60a9b6ac935e4 (diff)
Add Makefile.
Diffstat (limited to 'blackjack.lisp')
-rw-r--r--blackjack.lisp2
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)))