From 0137b9fed4b75376e108e6182a99f1cce6767747 Mon Sep 17 00:00:00 2001 From: Dimitri Sokolyuk Date: Sun, 6 Nov 2011 19:54:55 +0000 Subject: we do not use anything from inttypes.h, so replace it with stdint.h --- kernel/kernel.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'kernel/kernel.c') diff --git a/kernel/kernel.c b/kernel/kernel.c index 7e1587d..fe5a292 100644 --- a/kernel/kernel.c +++ b/kernel/kernel.c @@ -19,7 +19,7 @@ * http://www.control.lth.se/Publication/hen+04t.html */ -#include +#include #include #include #include -- cgit v1.2.3