hedgewars/options.inc
changeset 14220 3c36a4e66c82
parent 11661 7d483d400f8d
child 15929 128ace913837
--- a/hedgewars/options.inc	Mon Nov 12 20:05:24 2018 +0300
+++ b/hedgewars/options.inc	Mon Nov 12 20:30:06 2018 +0300
@@ -52,7 +52,7 @@
 {$ENDIF}
 
 
-{$IFDEF WIN32}
+{$IFDEF WINDOWS}
     {$DEFINE USE_CONTEXT_RESTORE}
 {$ENDIF}