From d07a3353246ad6dd3032c941910469b0fea9a8bc Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Sat, 7 Mar 2009 13:53:54 +0000
Subject: [PATCH] svn: r14003

---
 collects/redex/private/reduction-semantics.ss | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/collects/redex/private/reduction-semantics.ss b/collects/redex/private/reduction-semantics.ss
index bf1f473075..e31b86a443 100644
--- a/collects/redex/private/reduction-semantics.ss
+++ b/collects/redex/private/reduction-semantics.ss
@@ -1850,9 +1850,13 @@
     [(= tests 0)
      (printf "No tests run.\n")]
     [(= test-failures 0)
-     (if (= tests 1)
-         (printf "One test passed.\n")
-         (printf "All ~a tests passed.\n" tests))]
+     (cond
+       [(= tests 1)
+        (printf "One test passed.\n")]
+       [(= tests 2)
+        (printf "Both tests passed.\n")]
+       [else
+        (printf "All ~a tests passed.\n" tests)])]
     [else
      (printf "~a test~a failed (out of ~a total).\n"
              test-failures