From be9faeac655b3d3a225d4500b5e69c871bcfe9c9 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Tue, 22 May 2012 10:49:38 -0400 Subject: [PATCH] Minor fix in Guide section on contracts Reported by Shambles --- collects/scribblings/guide/contracts-general-function.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/scribblings/guide/contracts-general-function.scrbl b/collects/scribblings/guide/contracts-general-function.scrbl index 15d14153ba..6d15afbea1 100644 --- a/collects/scribblings/guide/contracts-general-function.scrbl +++ b/collects/scribblings/guide/contracts-general-function.scrbl @@ -308,7 +308,7 @@ withdrawal operation. The improved bank-account module includes a ] Besides requiring that a client provide a valid amount for a -withdrawal, however, the amount should be less than the specified +withdrawal, however, the amount should be less than or equal to the specified account's balance, and the resulting account will have less money than it started with. Similarly, the module might promise that a deposit produces an account with money added to the account. The following