From 0c31890e591a8e9c3eaea4ca615df55a34ee0fc9 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 20 Nov 2014 10:57:46 -0600 Subject: [PATCH] adjust to renaming in data/enumerate --- pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt b/pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt index 08534b9eb3..49887f743b 100644 --- a/pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt +++ b/pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt @@ -7,8 +7,8 @@ enum? size (contract-out - (encode (-> enum? any/c exact-nonnegative-integer?)) - (decode (-> enum? exact-nonnegative-integer? any/c))) + (rename to-nat encode (-> enum? any/c exact-nonnegative-integer?)) + (rename from-nat decode (-> enum? exact-nonnegative-integer? any/c))) empty/e const/e from-list/e