Skip to content

Commit

Permalink
Woops
Browse files Browse the repository at this point in the history
  • Loading branch information
pavpanchekha committed Jan 20, 2025
1 parent 2e71a9a commit 24f5848
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 @@ -147,7 +147,7 @@
['local-error make-local-error-result]
['explanations make-explanation-result]
['sample make-sample-result]
[_ (error 'compute-result "unknown command ~a" kind)]))
[_ (error 'compute-result "unknown command ~a" command)]))

(define (herbie-do-server-job command job-id)
(define herbie-result (wrapper-run-herbie command job-id))
Expand Down

0 comments on commit 24f5848

Please sign in to comment.