adjust to renaming in data/enumerate

2014-11-20 10:57:46 -06:00 · 2014-11-20 10:57:46 -06:00 · 0c31890e59
commit 0c31890e59
parent f2c01e780b
1 changed files with 2 additions and 2 deletions
--- 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