diff --git a/pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt b/pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt
index b990ce12c6..219c879b00 100644
--- a/pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt
@@ -15,8 +15,7 @@
          (only-in math/number-theory
                   binomial
                   integer-root
-                  prime-divisors
-                  prime-exponents)
+                  factorize)
 
          "error.rkt")
 
@@ -1328,8 +1327,9 @@
 
 (define (prime-factorize k)
   (apply append
-         (for/list ([divisor (in-list (prime-divisors k))]
-                    [exponent (in-list (prime-exponents k))])
+         (for/list ([d-e (in-list (factorize k))])
+           (define divisor (first d-e))
+           (define exponent (second d-e))
            (for/list ([_ (in-range exponent)])
              divisor))))
 (module+ test