Applied, thanks! Flavio Cruz, le dim. 19 févr. 2023 18:49:00 -0500, a ecrit: > 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 > >
-- Samuel --- Pour une évaluation indépendante, transparente et rigoureuse ! Je soutiens la Commission d'Évaluation de l'Inria.
