From 9de2868feb8a742edbb89e58375ca8223c64b54d Mon Sep 17 00:00:00 2001
From: Flavio Cruz <flaviocruz@gmail.com>
Date: Mon, 4 Apr 2016 23:56:53 +0200
Subject: Include stdint.h in stub code by default.

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

(limited to 'user.c')

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");
 }
 
-- 
cgit v1.2.3