diff options
-rw-r--r-- | hurd/hurd_types.defs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/hurd/hurd_types.defs b/hurd/hurd_types.defs index e19dedf2..6f5725e7 100644 --- a/hurd/hurd_types.defs +++ b/hurd/hurd_types.defs @@ -133,6 +133,8 @@ destructor: STARTUP_DESCTRUCTOR #endif ; +type proccoll_t = mach_port_copy_send_t; + #ifdef USERPREFIX userprefix USERPREFIX; #endif |