diff --git a/collects/scribblings/guide/contracts-general-function.scrbl b/collects/scribblings/guide/contracts-general-function.scrbl index 236a093815..d1d933eb9a 100644 --- a/collects/scribblings/guide/contracts-general-function.scrbl +++ b/collects/scribblings/guide/contracts-general-function.scrbl @@ -338,11 +338,11 @@ scheme [withdraw (->d ([acc account?] [amt (and/c amount (<=/c (balance acc)))]) () - [result (mk-account-contract acc amt > msg>)])] + [result (mk-account-contract acc amt >= msg>)])] [deposit (->d ([acc account?] [amt amount]) () - [result (mk-account-contract acc amt < msg<)])]) + [result (mk-account-contract acc amt <= msg<)])]) (code:comment "section 3: the function definitions") (define balance account-balance)