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