1 files changed, 0 insertions, 4 deletions
diff --git a/driver/ghci/ghci.c b/driver/ghci/ghci.c
index 06165b54e7..414521f97d 100644
--- 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;