From b987dc265d93aab0592d7e64ad17e33cf0c55f08 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 23 Aug 2008 02:56:37 +0000 Subject: [PATCH] possible fix svn: r11396 --- collects/scribblings/guide/contracts-general-function.scrbl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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)