diff --git a/gui-lib/mred/private/wx/win32/sound.rkt b/gui-lib/mred/private/wx/win32/sound.rkt index a7e53779..95492bec 100644 --- a/gui-lib/mred/private/wx/win32/sound.rkt +++ b/gui-lib/mred/private/wx/win32/sound.rkt @@ -69,7 +69,7 @@ (string->number s))) (unless len (error 'play "mci did not return a numeric length")) (mci-send "play ~a" id) - (if async? (thread (lambda () (done (+ len 5000)))) (done len))) + (if async? (thread (lambda () (done len))) (done len))) (lambda () (unless async? (done #f))))