X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Flibc%2Fstring.h;h=5bf42df8bab483a449d4e542845f1d54c4e856c7;hb=3fb8af7e2069d7517b5d6c4fb7dc04b22ddf8396;hp=5a81cb843b75549c43decd57097f6cde8468da72;hpb=73ce005b59a3c032c7a4f64bce17f6eb1bf8ea20;p=palacios.releases.git

diff --git a/palacios/include/libc/string.h b/palacios/include/libc/string.h
index 5a81cb8..5bf42df 100644
--- a/palacios/include/libc/string.h
+++ b/palacios/include/libc/string.h
@@ -44,7 +44,8 @@ char *strrchr(const char *s, int c);
 char *strpbrk(const char *s, const char *accept);
 char *strncat(char *s1, const char *s2, size_t limit);
 int fprintf(FILE *file, char *fmt, ...);
-//int fflush(FILE *file);
+int fflush(FILE *file);
+int printf(char *fmt, ...);