Skip to content

Commit

Permalink
Woops, typo
Browse files Browse the repository at this point in the history
  • Loading branch information
pavpanchekha committed Jan 20, 2025
1 parent 0d0a6fb commit 829a277
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/api/server.rkt
Original file line number Diff line number Diff line change
Expand Up @@ -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))
Expand Down

0 comments on commit 829a277

Please sign in to comment.