Rename some redex files

2013-10-09 19:09:36 -05:00 · 2013-10-09 19:09:36 -05:00 · cdf24e994c
commit cdf24e994c
parent 382240b6ce
3 changed files with 2 additions and 2 deletions
--- 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
--- a/pkgs/redex-pkgs/redex-lib/redex/private/preprocess-lang.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/preprocess-lang.rkt
--- a/pkgs/redex-pkgs/redex-lib/redex/private/preprocess-pat.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/preprocess-pat.rkt