From dfaad3f28a628ff3494f1e65b0dbe4a9fa9c180c Mon Sep 17 00:00:00 2001
From: Shu-Yu Guo <arc@cs.uchicago.edu>
Date: Mon, 6 Nov 2006 20:45:47 +0000
Subject: [PATCH] contract opting should not be provided for release.

svn: r4795
---
 collects/mzlib/contract.ss | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/collects/mzlib/contract.ss b/collects/mzlib/contract.ss
index 0bd6a61af2..78ded34834 100644
--- a/collects/mzlib/contract.ss
+++ b/collects/mzlib/contract.ss
@@ -8,9 +8,9 @@
            "private/contract-basic-opters.ss")
   
   (provide 
-   (all-from "private/contract-opt.ss")
-   (all-from "private/contract-opt-guts.ss")
-   (all-from-except "private/contract-opt-guts.ss"
+   ;; opt is not ready yet
+   #;(all-from "private/contract-opt.ss")
+   #;(all-from-except "private/contract-opt-guts.ss"
                     make-opt-contract
                     orig-ctc-prop
                     orig-ctc-pred?