diff --git a/collects/mred/private/wx/gtk/procs.rkt b/collects/mred/private/wx/gtk/procs.rkt
index 70d6504ff1..7dc0d0ead9 100644
--- a/collects/mred/private/wx/gtk/procs.rkt
+++ b/collects/mred/private/wx/gtk/procs.rkt
@@ -36,7 +36,6 @@
  file-creator-and-type
  run-printout
  get-double-click-time
- key-symbol-to-integer
  get-control-font-size
  get-control-font-size-in-pixels?
  cancel-quit
@@ -60,15 +59,15 @@
  make-gl-bitmap
  check-for-break)
 
-(define-unimplemented play-sound)
 (define-unimplemented find-graphical-system-path)
 (define-unimplemented location->window)
 (define-unimplemented send-event)
-(define-unimplemented key-symbol-to-integer)
 (define-unimplemented cancel-quit)
 (define-unimplemented write-resource)
 (define-unimplemented get-resource)
 
+(define-unimplemented play-sound)
+
 (define (color-from-user-platform-mode) 'dialog)
 
 (define (font-from-user-platform-mode) #f)