From 8cc99e25f95a527f905546362661541e7d46fffd Mon Sep 17 00:00:00 2001
From: bernhardheld <bernhardheld@4a8a32a2-be11-0410-ad9d-d568d2c75423>
Date: Fri, 5 Oct 2001 16:37:08 +0000
Subject: [PATCH] win32api not available

git-svn-id: https://sdcc.svn.sourceforge.net/svnroot/sdcc/trunk/sdcc@1358 4a8a32a2-be11-0410-ad9d-d568d2c75423
---
 src/SDCCglue.c | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/SDCCglue.c b/src/SDCCglue.c
index 39c55798..115bf662 100644
--- 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 *);
-- 
2.47.2