File is not needed.
---
 user.c | 1 -
 1 file changed, 1 deletion(-)

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");
-- 
2.39.1


Reply via email to