diff --git a/src/api/sandbox.rkt b/src/api/sandbox.rkt index f4bd8630e..9407341ac 100644 --- a/src/api/sandbox.rkt +++ b/src/api/sandbox.rkt @@ -301,7 +301,7 @@ (if profile? (profile-thunk (λ () (compute-result test)) #:order 'total - #:delay 0.001 + #:delay 0.01 #:render (λ (p order) (write-json (profile->json p) profile?))) (compute-result test)))