Remove local armsrc/stdint.h and fix some other #includes

[proxmark3-svn] / armsrc / printf.c

diff --git a/armsrc/printf.c b/armsrc/printf.c
index d5e61798a3516f82ee932922f8b63e1a81139ef2..94ed809d2a5aaf8f6a8e7e311c1cf8a6cc00f91e 100644 (file)
--- a/armsrc/printf.c
+++ b/armsrc/printf.c
@@ -40,9 +40,6 @@
 #include "util.h"
 #include "string.h"
 
-typedef uint32_t uintmax_t;
-typedef int32_t intmax_t;
-
 typedef unsigned char u_char;
 typedef unsigned int u_int;
 typedef unsigned long u_long;