summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--hurd/hurd_types.defs2
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