From df409ae42f02514461d85cde8981ded1e92b0b32 Mon Sep 17 00:00:00 2001 From: Stevie Strickland Date: Fri, 25 Sep 2009 14:57:36 +0000 Subject: [PATCH] Fixes some bad references in the mzlib scribble documentation that refer to things that have moved away from the base contract file. svn: r16127 --- collects/scribblings/reference/contracts.scrbl | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/scribblings/reference/contracts.scrbl b/collects/scribblings/reference/contracts.scrbl index 9aa0e9b2a5..42d2aff714 100644 --- a/collects/scribblings/reference/contracts.scrbl +++ b/collects/scribblings/reference/contracts.scrbl @@ -19,7 +19,9 @@ constraints. @note-lib[scheme/contract #:use-sources (scheme/contract/private/ds scheme/contract/private/base - scheme/contract/private/guts)] + scheme/contract/private/guts + scheme/contract/private/misc + scheme/contract/private/provide)] @deftech{Contracts} come in two forms: those constructed by the various operations listed in this section of the manual, and various