From 5a84f665b6445b30a9642c8bcb88e16eaf7f0b5e Mon Sep 17 00:00:00 2001
From: Peter Goodman <peter.goodman@gmail.com>
Date: Wed, 13 Dec 2017 01:31:29 -0500
Subject: [PATCH] Minor tweak.

---
 src/lib/Log.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/lib/Log.c b/src/lib/Log.c
index 95056a2..ba230b4 100644
--- a/src/lib/Log.c
+++ b/src/lib/Log.c
@@ -145,7 +145,8 @@ int vfprintf(FILE *file, const char *format, va_list args) {
   } else {
     DeepState_LogStream(DeepState_LogWarning);
     DeepState_Log(DeepState_LogWarning,
-                  "Ignorning vfprintf with non-stdout/stderr stream.");
+                  "vfprintf with non-stdout/stderr stream follows:");
+    DeepState_LogVFormat(DeepState_LogInfo, format, args);
   }
   return 0;
 }