From 52c1a313c8abb6134c897fea7af5e643dac17309 Mon Sep 17 00:00:00 2001
From: Matthias Felleisen <matthias@racket-lang.org>
Date: Wed, 20 Aug 2008 15:48:16 +0000
Subject: [PATCH] elicit --> does not hold

svn: r11356
---
 collects/redex/private/reduction-semantics.ss | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/collects/redex/private/reduction-semantics.ss b/collects/redex/private/reduction-semantics.ss
index 6b33048507..8c0de2ed62 100644
--- a/collects/redex/private/reduction-semantics.ss
+++ b/collects/redex/private/reduction-semantics.ss
@@ -1623,8 +1623,8 @@
   (unless (pred arg)
     (inc-failures)
     (print-failed srcinfo)
-    (fprintf (current-error-port) "  ~v\ndid not elicit ~v from ~v\n" 
-             arg #t pred)))
+    (fprintf (current-error-port) "  ~v does not hold for\n  ~v\n" 
+             pred arg)))
 
 (define-syntax (test-equal stx)
   (syntax-case stx ()