From 92842cd19523e593028d20dcfbd1f6b60b02738f Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Tue, 18 Aug 2015 15:01:37 -0600
Subject: [PATCH] unbreak windows

---
 gui-lib/mred/private/wx/win32/platform.rkt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/gui-lib/mred/private/wx/win32/platform.rkt b/gui-lib/mred/private/wx/win32/platform.rkt
index 1461b2b1..cd8460c3 100644
--- a/gui-lib/mred/private/wx/win32/platform.rkt
+++ b/gui-lib/mred/private/wx/win32/platform.rkt
@@ -92,4 +92,5 @@
    make-gl-bitmap
    check-for-break
    key-symbol-to-menu-key
-   needs-grow-box-spacer?))
+   needs-grow-box-spacer?
+   graphical-system-type))