diff --git a/collects/redex/examples/cont-mark-transform/all-test.rkt b/collects/redex/examples/cont-mark-transform/all-test.rkt
index 56c8966aff..e0188bb4de 100644
--- a/collects/redex/examples/cont-mark-transform/all-test.rkt
+++ b/collects/redex/examples/cont-mark-transform/all-test.rkt
@@ -2,4 +2,7 @@
 
 (require "TL-semantics-test.rkt"
          "SL-semantics-test.rkt"
-         "CMT-test.rkt")
+         "CMT-test.rkt"
+         redex/reduction-semantics)
+
+(test-results)
\ No newline at end of file