summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFlavio Cruz <flaviocruz@gmail.com>2023-02-19 18:49:00 -0500
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2023-02-20 23:37:08 +0100
commit5cf9885fde9c9697e4adade00cd71beb8bf4624b (patch)
tree21a4d721353542a0d06cc0b8bd8b106490f447c9
parenta391c8f0eef8573fd6b99e6cd264a5f2caa539cb (diff)
Stop including mach/msg_type.h in generated code.
File is not needed. Message-Id: <Y/K1bKVZXhYM7X9W@jupiter.tail36e24.ts.net>
-rw-r--r--user.c1
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");