Remove unnecessary C #includes

diff --git a/driver/gcc/gcc.c b/driver/gcc/gcc.c
index 4efd559..059fbd4 100644 (file)
--- a/driver/gcc/gcc.c
+++ b/driver/gcc/gcc.c
@@ -7,12 +7,6 @@
 
 #include "cwrapper.h"
 #include "getLocation.h"
-#include <errno.h>
-#include <process.h>
-#include <stdio.h>
-#include <stdlib.h>
-#include <stdarg.h>
-#include <string.h>
 
 int main(int argc, char** argv) {
     char *binDir;

diff --git a/driver/ghci/ghci.c b/driver/ghci/ghci.c
index 06165b5..414521f 100644 (file)
--- a/driver/ghci/ghci.c
+++ b/driver/ghci/ghci.c
@@ -1,12 +1,8 @@
 
 #include "cwrapper.h"
 #include "getLocation.h"
-#include <errno.h>
-#include <process.h>
 #include <stdio.h>
 #include <stdlib.h>
-#include <stdarg.h>
-#include <string.h>
 
 int main(int argc, char** argv) {
     char *binDir;