diff options
| -rw-r--r-- | hurd/startup.defs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/hurd/startup.defs b/hurd/startup.defs index 7b9eb442..392b095b 100644 --- a/hurd/startup.defs +++ b/hurd/startup.defs @@ -1,5 +1,5 @@ /* Definitions for startup server interface - Copyright (C) 1991, 1992, 1993, 1994 Free Software Foundation + Copyright (C) 1991, 1992, 1993, 1994, 1996 Free Software Foundation This file is part of the GNU Hurd. @@ -46,7 +46,7 @@ routine startup_essential_task ( sent to the notify port. */ routine startup_request_notification ( server: startup_t; - notify_port: mach_port_t); + notify_port: mach_port_send_t); /* This call causes the system to die. */ routine startup_reboot ( |