From bc5b28c4039b027e6713313e8c3f36675a6984e7 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Wed, 2 May 2018 18:20:33 +0100
Subject: [PATCH] Correct printing of test procedures

---
 syndicate/test-implementation.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/syndicate/test-implementation.rkt b/syndicate/test-implementation.rkt
index 38ad31e..c9cbcf8 100644
--- a/syndicate/test-implementation.rkt
+++ b/syndicate/test-implementation.rkt
@@ -187,7 +187,7 @@
                                   (color NORMAL)))
       (let ((description
              (match maybe-check
-               [(? procedure?) (format "~a" check)]
+               [(? procedure?) (format "~a" maybe-check)]
                [(check #f description _thunk) (format "~a" description)]
                [(check check-loc description _thunk) (format "~a (~a)" description check-loc)])))
         (match result