diff options
-rw-r--r-- | exec/exec.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/exec/exec.c b/exec/exec.c index 54475d79..567f11c0 100644 --- a/exec/exec.c +++ b/exec/exec.c @@ -1736,7 +1736,7 @@ do_exec (file_t file, if (newtask == oldtask) { - thread_array_t threads; + thread_t *threads; mach_msg_type_number_t nthreads, i; /* Terminate all the threads of the old task. */ |