diff options
Diffstat (limited to 'kern/ipc_mig.c')
| -rw-r--r-- | kern/ipc_mig.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kern/ipc_mig.c b/kern/ipc_mig.c index a1757da3..ec121cf4 100644 --- a/kern/ipc_mig.c +++ b/kern/ipc_mig.c @@ -50,7 +50,7 @@ #include <ipc/ipc_port.h> #include <ipc/ipc_pset.h> #include <ipc/ipc_thread.h> -#include <ipc/mach_port.h> +#include <ipc/mach_port.server.h> #include <device/dev_hdr.h> #include <device/device_types.h> #include <device/ds_routines.h> |