win32api not available

[fw/sdcc] / src / SDCCglue.c

diff --git a/src/SDCCglue.c b/src/SDCCglue.c
index 39c5579827c067f199c32ac512e1ff9cb6e48d18..115bf6622159754d6d0d4456c453bc77ed01e085 100644 (file)
--- a/src/SDCCglue.c
+++ b/src/SDCCglue.c
@@ -31,10 +31,6 @@
 #include <unistd.h>
 #endif
 
-#if defined (__MINGW32__)
-#include <windows.h>    // let's see if it win32api is available
-#endif
-
 symbol *interrupts[256];
 
 void printIval (symbol *, sym_link *, initList *, FILE *);