summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1992-10-23 20:22:12 +0000
committerMichael I. Bushnell <mib@gnu.org>1992-10-23 20:22:12 +0000
commitaf3ad48f52be9770322a4a0273687c9162b2f792 (patch)
tree0a8dee2bc1c88707c3243a2bc349b9123f7d9677
parent41303f4e4bba4806fc1bae7cc2a58e5044fdacf9 (diff)
Formerly hurd_types.defs.~40~
-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