From 95965f54cb01a77730f6f48f80ef403e91467ab3 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Fri, 1 Aug 2008 15:34:57 +0000
Subject: [PATCH] removed rg.ss from the provided things for now

svn: r11022
---
 collects/redex/reduction-semantics.ss | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/redex/reduction-semantics.ss b/collects/redex/reduction-semantics.ss
index 4f2c9b4ecb..8c60e1a5fd 100644
--- a/collects/redex/reduction-semantics.ss
+++ b/collects/redex/reduction-semantics.ss
@@ -7,7 +7,7 @@
          "private/rg.ss"
          "private/loc-wrapper.ss")
 
-(provide (all-from-out "private/rg.ss"))
+#;(provide (all-from-out "private/rg.ss"))
 
 (provide reduction-relation 
          --> fresh with ;; keywords for reduction-relation