DJGPP compilation

[wxWidgets.git] / src / mgl / app.cpp

diff --git a/src/mgl/app.cpp b/src/mgl/app.cpp
index bcb909fcc82f6cbaac67c73a0d798bd112f2659e..91124621986e112b82fc632270fb60ff2ce61b17 100644 (file)
--- a/src/mgl/app.cpp
+++ b/src/mgl/app.cpp
@@ -35,6 +35,7 @@
 #include "wx/univ/theme.h"
 #include "wx/univ/renderer.h"
 #include "wx/univ/colschem.h"
+#include "wx/sysopt.h"
 #include "wx/mgl/private.h"
 
 //-----------------------------------------------------------------------------
@@ -156,7 +157,7 @@ static bool wxCreateMGL_WM(const wxDisplayModeInfo& displayMode)
     int refresh = MGL_DEFAULT_REFRESH;
     
 #if wxUSE_SYSTEM_OPTIONS
-    if ( wxSystemOptions::HasOption(wxT("mgl.screen-refresh") )
+    if ( wxSystemOptions::HasOption(wxT("mgl.screen-refresh")) )
         refresh = wxSystemOptions::GetOptionInt(wxT("mgl.screen-refresh"));
 #endif