From cdf24e994ca0748c9195f6df51a723d60dd22106 Mon Sep 17 00:00:00 2001
From: Max New <maxsnew@gmail.com>
Date: Wed, 9 Oct 2013 19:09:36 -0500
Subject: [PATCH] Rename some redex files

---
 pkgs/redex-pkgs/redex-lib/redex/private/enum.rkt              | 4 ++--
 .../redex/private/{recursive-lang.rkt => preprocess-lang.rkt} | 0
 .../redex/private/{preprocess.rkt => preprocess-pat.rkt}      | 0
 3 files changed, 2 insertions(+), 2 deletions(-)
 rename pkgs/redex-pkgs/redex-lib/redex/private/{recursive-lang.rkt => preprocess-lang.rkt} (100%)
 rename pkgs/redex-pkgs/redex-lib/redex/private/{preprocess.rkt => preprocess-pat.rkt} (100%)

diff --git a/pkgs/redex-pkgs/redex-lib/redex/private/enum.rkt b/pkgs/redex-pkgs/redex-lib/redex/private/enum.rkt
index de3f73df85..81f10394f0 100644
--- a/pkgs/redex-pkgs/redex-lib/redex/private/enum.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/enum.rkt
@@ -8,8 +8,8 @@
          "enumerator.rkt"
          "lang-struct.rkt"
          "match-a-pattern.rkt"
-         "preprocess.rkt"
-         "recursive-lang.rkt")
+         "preprocess-pat.rkt"
+         "preprocess-lang.rkt")
 
 (provide 
  (contract-out
diff --git a/pkgs/redex-pkgs/redex-lib/redex/private/recursive-lang.rkt b/pkgs/redex-pkgs/redex-lib/redex/private/preprocess-lang.rkt
similarity index 100%
rename from pkgs/redex-pkgs/redex-lib/redex/private/recursive-lang.rkt
rename to pkgs/redex-pkgs/redex-lib/redex/private/preprocess-lang.rkt
diff --git a/pkgs/redex-pkgs/redex-lib/redex/private/preprocess.rkt b/pkgs/redex-pkgs/redex-lib/redex/private/preprocess-pat.rkt
similarity index 100%
rename from pkgs/redex-pkgs/redex-lib/redex/private/preprocess.rkt
rename to pkgs/redex-pkgs/redex-lib/redex/private/preprocess-pat.rkt