From 566f3fbbf47d610b2a603e4f49c3aef619214795 Mon Sep 17 00:00:00 2001 From: Burke Fetscher Date: Wed, 8 Oct 2014 11:46:24 -0500 Subject: [PATCH] redex: fix distribution cache in search --- .../redex-benchmark/redex/benchmark/private/gen-run.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/redex-pkgs/redex-benchmark/redex/benchmark/private/gen-run.rkt b/pkgs/redex-pkgs/redex-benchmark/redex/benchmark/private/gen-run.rkt index 3d60a52832..cebcf7dffd 100644 --- a/pkgs/redex-pkgs/redex-benchmark/redex/benchmark/private/gen-run.rkt +++ b/pkgs/redex-pkgs/redex-benchmark/redex/benchmark/private/gen-run.rkt @@ -31,7 +31,7 @@ (define get-gen (dynamic-require gen-mod-path 'get-generator)) (define type (dynamic-require gen-mod-path 'type)) (define check (dynamic-require check-mod-path 'check)) - (run-generations get-gen check seconds #:name name #:type type)) + (run-gen-and-check get-gen check seconds #:name name #:type type)) (define (run-gen-and-check get-gen check seconds #:name [name "unknown"]