elicit --> does not hold

svn: r11356
2008-08-20 15:48:16 +00:00 · 2008-08-20 15:48:16 +00:00 · 52c1a313c8
commit 52c1a313c8
parent de4352d8fc
1 changed files with 2 additions and 2 deletions
--- 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 ()