import gdb-1999-08-09 snapshot

[deliverable/binutils-gdb.git] / gdb / remote-vx.c

diff --git a/gdb/remote-vx.c b/gdb/remote-vx.c
index 787bd3924a422203c56e9ff56ac319e6bbf9fb5c..8c09d2c011ce99f8e2f940b48c66357f78684cf0 100644 (file)
--- a/gdb/remote-vx.c
+++ b/gdb/remote-vx.c
@@ -1026,8 +1026,8 @@ vx_wait (pid_to_wait_for, status)
          sleep_ms (200);       /* FIXME Don't kill the network too badly */
        }
       else if (pid != inferior_pid)
-       fatal ("Bad pid for debugged task: %s\n",
-              local_hex_string ((unsigned long) pid));
+       internal_error ("Bad pid for debugged task: %s\n",
+                       local_hex_string ((unsigned long) pid));
     }
   while (pid == 0);