From 5231e15a787a2e699ef681330fe3b8daec6c731f Mon Sep 17 00:00:00 2001 From: chrdimo Date: Mon, 28 Jan 2013 01:08:17 -0500 Subject: [PATCH] renaming unstable/contract's option/c to maybe/c --- collects/unstable/contract.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/unstable/contract.rkt b/collects/unstable/contract.rkt index 81f6a7f1c0..aa307d65cd 100644 --- a/collects/unstable/contract.rkt +++ b/collects/unstable/contract.rkt @@ -198,7 +198,7 @@ [if/c (-> procedure? contract? contract? contract?)] [failure-result/c contract?] [rename-contract (-> contract? any/c contract?)] - [option/c (-> contract? contract?)] + [rename option/c maybe/c (-> contract? contract?)] [truth/c flat-contract?]