diff --git a/collects/mred/private/misc.ss b/collects/mred/private/misc.ss index 22e8fbf18e..f1d959c778 100644 --- a/collects/mred/private/misc.ss +++ b/collects/mred/private/misc.ss @@ -123,7 +123,7 @@ (unless (file-exists? f) (error 'play-sound "file not found: ~e" f)) ((if (eq? (system-type) 'unix) (force unix-play-command) wx:play-sound) - f async)) + f async?)) ;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; Timers: