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"]