diff --git a/util.cpp b/util.cpp
index 8a2f9d525..ab1f5aad8 100644
--- a/util.cpp
+++ b/util.cpp
@@ -169,8 +169,8 @@ inline int OutputDebugStringF(const char* pszFormat, ...)
         }
         if (fileout)
         {
-            //// Debug print useful for profiling
-            //fprintf(fileout, " %"PRI64d" ", GetTimeMillis());
+            // Debug print useful for profiling
+            fprintf(fileout, "%s ", DateTimeStrFormat("%x %H:%M:%S", GetTime()).c_str());
             va_list arg_ptr;
             va_start(arg_ptr, pszFormat);
             ret = vfprintf(fileout, pszFormat, arg_ptr);