From f91fec3cc4c7ccc581f08401b7768f44b5f335ad Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Sun, 22 Aug 2021 18:13:41 +0900
Subject: Add Makefile.

---
 blackjack.lisp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'blackjack.lisp')

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)))
-- 
cgit v1.2.3