[PATCH] Include stdint.h in stub code by default.

[Flavio Cruz]

* server.c: Include stdint.h in the header code.
* user.c: Likewise.
---
 server.c | 1 +
 user.c   | 1 +
 2 files changed, 2 insertions(+)

diff --git a/server.c b/server.c
index 1d10093..9634887 100644
--- a/server.c
+++ b/server.c
@@ -47,6 +47,7 @@ WriteIncludes(FILE *file)
     fprintf(file, "#include <mach/mig_support.h>\n");
     if (IsKernelServer)
        fprintf(file, "#include <ipc/ipc_port.h>\n");
+    fprintf(file, "#include <stdint.h>\n");
     fprintf(file, "\n");
 }
 
diff --git a/user.c b/user.c
index 8cf04a0..7f355ed 100644
--- a/user.c
+++ b/user.c
@@ -92,6 +92,7 @@ WriteIncludes(FILE *file)
     fprintf(file, "#include <mach/msg_type.h>\n");
     if (IsKernelUser)
        fprintf(file, "#include <kern/ipc_mig.h>\n");
+    fprintf(file, "#include <stdint.h>\n");
     fprintf(file, "\n");
 }
 
-- 
2.7.0