suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

redex: fix distribution cache in search

Browse Source
This commit is contained in:
Burke Fetscher 2014-10-08 11:46:24 -05:00
parent 290329e5fa
commit 566f3fbbf4
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/redex-pkgs/redex-benchmark/redex/benchmark/private/gen-run.rkt
View File

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