diff options
Diffstat (limited to 'extras/mini-os/include/lib.h')
-rw-r--r-- | extras/mini-os/include/lib.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/mini-os/include/lib.h b/extras/mini-os/include/lib.h index d946e0a534..efe096bdba 100644 --- a/extras/mini-os/include/lib.h +++ b/extras/mini-os/include/lib.h @@ -57,7 +57,6 @@ #include <stdarg.h> #include <stddef.h> -#include <console.h> #ifdef HAVE_LIBC #include <stdio.h> @@ -98,6 +97,7 @@ char *strstr(const char *s1, const char *s2); char * strcat(char * dest, const char * src); char *strdup(const char *s); #endif +#include <console.h> #define RAND_MIX 2654435769U |