Merge branch 'jmt/gps' into next

[flightgear.git] / src / GUI / gui.h

diff --git a/src/GUI/gui.h b/src/GUI/gui.h
index 5b8478e95f2023cf21db372f9c358742017279ed..2563251d888688a8be64482035a2829e0b02b3b3 100644 (file)
--- a/src/GUI/gui.h
+++ b/src/GUI/gui.h
@@ -61,7 +61,7 @@ extern void fgDumpSnapShotWrapper();
 extern void fgHiResDumpWrapper();
 extern void fgHiResDump();
 #endif
-#if defined( WIN32 ) && !defined( __CYGWIN__) && !defined(__MINGW32__)
+#if defined( _WIN32 ) && !defined(__MINGW32__)
 extern void printScreen();
 #endif
 extern void helpCb();