1 files changed, 0 insertions, 1 deletions
diff --git a/user.c b/user.c
index de3f58c..dc9e21f 100644
--- a/user.c
+++ b/user.c
@@ -89,7 +89,6 @@ WriteIncludes(FILE *file)
     fprintf(file, "#include <mach/mach_types.h>\n");
     fprintf(file, "#include <mach/mig_errors.h>\n");
     fprintf(file, "#include <mach/mig_support.h>\n");
-    fprintf(file, "#include <mach/msg_type.h>\n");
     if (IsKernelUser)
 	fprintf(file, "#include <kern/ipc_mig.h>\n");
     fprintf(file, "#include <stdint.h>\n");