dont rebind void

2014-04-13 17:02:40 -05:00 · 2014-04-13 17:02:40 -05:00 · 021f3da61d
commit 021f3da61d
parent f1a3c08ffd
1 changed files with 1 additions and 1 deletions
--- a/pkgs/drracket-pkgs/drracket/drracket/private/module-browser.rkt
+++ b/pkgs/drracket-pkgs/drracket/drracket/private/module-browser.rkt
@ -1287,7 +1287,7 @@
                                   pasteboard:basic%)))
  (new draw-lines-pasteboard% [cache-arrow-drawing? #t]))

-(define (standalone-fill-pasteboard pasteboard filename show-status void)
+(define (standalone-fill-pasteboard pasteboard filename show-status _void)
  (define progress-channel (make-async-channel))
  (define connection-channel (make-async-channel))