From dbc2adc360e7e92fbe5d6707fab503114ee39b49 Mon Sep 17 00:00:00 2001
From: Alex Groce <agroce@gmail.com>
Date: Sat, 28 Jul 2018 04:45:29 -0700
Subject: [PATCH] try printf instead

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

diff --git a/src/lib/Log.c b/src/lib/Log.c
index 5fd7202..9811704 100644
--- a/src/lib/Log.c
+++ b/src/lib/Log.c
@@ -157,7 +157,7 @@ int vfprintf(FILE *file, const char *format, va_list args) {
 		    "vfprintf with non-stdout/stderr stream follows:");
       DeepState_LogVFormat(DeepState_LogInfo, format, args);      
     } else {
-      DeepState_LogVFormat(DeepState_LogCritical, format, args);      
+      printf(format, args);      
     }
 
   }