diff options
| -rw-r--r-- | blackjack.lisp | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/blackjack.lisp b/blackjack.lisp index 3d0318d..0e0b23c 100644 --- a/blackjack.lisp +++ b/blackjack.lisp @@ -171,9 +171,7 @@ (equal (score (cons new rs)) 'BUST)))) (defthm safe-hit - (implies (and (rankp r1) - (rankp r2) + (implies (and (rank-list-p rs) (rankp new) - (<= (score* (list r1 r2)) 11)) - (not (equal (score (list new r1 r2)) - 'BUST)))) + (<= (score* rs) 11)) + (not (equal (score (cons new rs)) 'BUST)))) |