From 829a277e2a71a610bd7eec4ca5fcc21396f288e9 Mon Sep 17 00:00:00 2001 From: Pavel Panchekha Date: Sun, 19 Jan 2025 18:23:43 -0700 Subject: [PATCH] Woops, typo --- src/api/server.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/server.rkt b/src/api/server.rkt index 22d0ee924..0adc1b535 100644 --- a/src/api/server.rkt +++ b/src/api/server.rkt @@ -390,7 +390,7 @@ (hasheq 'points (job-result-backend herbie-result))) (define (make-improve-result herbie-result job-id) - (define test (job-result-test test)) + (define test (job-result-test herbie-result)) (define ctx (context->json (test-context test))) (define backend (job-result-backend herbie-result)) (define job-time (job-result-time herbie-result))