From a43973157b82266a97c874a7860dd246601ff5ba Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Tue, 11 Oct 2011 16:32:12 -0500
Subject: [PATCH] add call to 'test-results'

---
 collects/redex/examples/cont-mark-transform/all-test.rkt | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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