X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fcommon%2Fstring.c;h=41f4b8aa3526faead74abd66b049a06a82598d17;hb=18994f099b7316da6f6c9752aa59b08259fb0057;hp=5c82ec4d7defccd7bceb52ab176539d3e5d426de;hpb=d98e541db0a18647cdefbc17ad40c282189533aa;p=palacios.git

diff --git a/palacios/src/common/string.c b/palacios/src/common/string.c
index 5c82ec4..41f4b8a 100644
--- a/palacios/src/common/string.c
+++ b/palacios/src/common/string.c
@@ -307,7 +307,7 @@ int fflush(FILE *stream)
     //PrintDebug("In fflush!!\n");
 
     return 0;
-}*/
+}
 
 void abort(void)
 {