X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fcommon%2Fstring.c;h=5c82ec4d7defccd7bceb52ab176539d3e5d426de;hb=3cfd36ea8e68ec218ae1aa3ac3c793037aa5c694;hp=74150673b10703d20e9f5b083d44cd00e94d1a21;hpb=abf911f47d91375cfbe41bee04e980aa829d26f3;p=palacios.git

diff --git a/palacios/src/common/string.c b/palacios/src/common/string.c
index 7415067..5c82ec4 100644
--- a/palacios/src/common/string.c
+++ b/palacios/src/common/string.c
@@ -294,9 +294,17 @@ int fprintf(FILE *file, char *fmt, ...)
 
 }
 
-/* int fflush(FILE *stream)
+int printf(char *fmt, ...)
 {
-    PrintDebug("In fflush!!\n");
+   // PrintDebug("In fprintf!!\n");
+
+   return 0;
+
+}
+
+int fflush(FILE *stream)
+{
+    //PrintDebug("In fflush!!\n");
 
     return 0;
 }*/