No change to file, just keep update

[palacios-OLD.git] / palacios / src / common / string.c

diff --git a/palacios/src/common/string.c b/palacios/src/common/string.c
index 7415067..5c82ec4 100644 (file)
--- 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;
 }*/