~ chicken-core (chicken-5) 72cdfa401726869eff901bc57960fd72bc515928

commit 72cdfa401726869eff901bc57960fd72bc515928
Author:     felix <felix@call-with-current-continuation.org>
AuthorDate: Wed Jun 15 07:57:49 2011 -0400
Commit:     felix <felix@call-with-current-continuation.org>
CommitDate: Wed Jun 15 07:57:49 2011 -0400

    slight extension of assume doc

diff --git a/manual/Types b/manual/Types
index 1efae0c8..ebddf393 100644
--- a/manual/Types
+++ b/manual/Types
@@ -67,7 +67,7 @@ will issue a warning if this should not be the case.
 
 <syntax>(assume ((VARIABLE TYPE) ...) BODY ...)</syntax>
 
-Declares that during execution of {{BODY ..}}, the variables will
+Declares that at the start of execution of {{BODY ..}}, the variables will
 be of the given types. This is equivalent to
 
 <enscript hightlight=scheme>