Remove unused variables

diff --git a/driver/ghci/ghci.c b/driver/ghci/ghci.c
index cad0ae5..97616d5 100644 (file)
--- a/driver/ghci/ghci.c
+++ b/driver/ghci/ghci.c
@@ -64,8 +64,6 @@ main(int argc, char** argv)
   char*  new_cmdline;
   char   *ptr, *src;
   unsigned int cmdline_len = 0;
-  char **pp;
-  LPTSTR pp1;
 
   STARTUPINFO si;
   PROCESS_INFORMATION pi;