diff osdep/getch2.c @ 35856:310c8995c0d0

Prefer stdint.h over inttypes.h if both work.
author cehoyos
date Sun, 10 Mar 2013 16:33:43 +0000
parents 2f68de22fba6
children 6ac59489c815
line wrap: on
line diff
--- a/osdep/getch2.c	Sun Mar 10 16:17:32 2013 +0000
+++ b/osdep/getch2.c	Sun Mar 10 16:33:43 2013 +0000
@@ -34,7 +34,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
-#include <inttypes.h>
+#include <stdint.h>
 #include <sys/time.h>
 #include <sys/types.h>
 #ifdef CONFIG_IOCTL