commit 5cf9885fde9c9697e4adade00cd71beb8bf4624b
Author: Flavio Cruz <flaviocruz@gmail.com>
Date:   Sun Feb 19 18:49:00 2023 -0500

    Stop including mach/msg_type.h in generated code.
    
    File is not needed.
    Message-Id: <Y/K1bKVZXhYM7X9W@jupiter.tail36e24.ts.net>

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