diff --git a/collects/redex/private/reduction-semantics.rkt b/collects/redex/private/reduction-semantics.rkt
index 3dc8d0e8e1..de1478e5a1 100644
--- a/collects/redex/private/reduction-semantics.rkt
+++ b/collects/redex/private/reduction-semantics.rkt
@@ -1238,7 +1238,9 @@
                 (λ (c) (cons (car c) (add1 (cdr c))))))
 
 (define (covered-cases cov)
-  (hash-map (coverage-counts cov) (λ (k v) v)))
+  (sort (hash-map (coverage-counts cov) (λ (k v) v))
+        string<=?
+        #:key car))
 
 (define-struct coverage (relation counts))