From e2fe7c658f72e572f755fc31dd411a4e9c483687 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 30 Mar 2014 21:07:50 -0500 Subject: [PATCH] fix printout --- .../redex-examples/redex/examples/benchmark/test-file.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/test-file.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/test-file.rkt index e88550f138..bdb2fb2b04 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/test-file.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/test-file.rkt @@ -126,7 +126,7 @@ (trials-loop t g)))) (define me-time (- (current-process-milliseconds) t-time)) (define ok? (with-timeout (* 5 60 1000) (λ () (check term)) - (λ () (printf "\nIn ~a, ~a, timed out checking the term:~a\n" + (λ () (printf "\nIn ~a, ~a, timed out checking the term: ~s\n" fname type term) (trials-loop t g)))) (cond