diff options
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/ghci/ghci.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/driver/ghci/ghci.c b/driver/ghci/ghci.c index cad0ae5c51..97616d5432 100644 --- 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; |