1 files changed, 1 insertions, 2 deletions
diff --git a/gcc/ada/adaint.c b/gcc/ada/adaint.c
index 5fef49cc4c0..1c6d323f0e7 100644
--- a/gcc/ada/adaint.c
+++ b/gcc/ada/adaint.c
@@ -3200,8 +3200,7 @@ __gnat_kill (int pid, int sig, int close ATTRIBUTE_UNUSED)
     return;
   if (sig == 9)
     {
-      TerminateProcess (h, 0);
-      __gnat_win32_remove_handle (NULL, pid);
+      TerminateProcess (h, 1);
     }
   else if (sig == SIGINT)
     GenerateConsoleCtrlEvent (CTRL_C_EVENT, pid);