remove unused define

diff --git a/Utility/WebApp.hs b/Utility/WebApp.hs
index f51cdc1a1264eff8b38d3627fa2fa32c6914fef9..d2dbd845a9aa7639f7a1c119e9f779dc49d85b51 100644 (file)
--- a/Utility/WebApp.hs
+++ b/Utility/WebApp.hs
@@ -85,7 +85,7 @@ webAppSettings = setTimeout halfhour defaultSettings
  -}
 getSocket :: Maybe HostName -> IO Socket
 getSocket h = do
-#if defined(__ANDROID__) || defined (mingw32_HOST_OS)
+#if defined (mingw32_HOST_OS)
        -- getAddrInfo currently segfaults on Android.
        -- The HostName is ignored by this code.
        when (isJust h) $