1 files changed, 5 insertions, 5 deletions
diff --git a/extras/mini-os/console/console.c b/extras/mini-os/console/console.c
index c9ec60af8f..377fcee4df 100644
--- a/extras/mini-os/console/console.c
+++ b/extras/mini-os/console/console.c
@@ -116,12 +116,12 @@ void print(int direct, const char *fmt, va_list args)
     {
         (void)HYPERVISOR_console_io(CONSOLEIO_write, strlen(buf), buf);
         return;
-    }
-    
-    if(!console_initialised)
-        (void)HYPERVISOR_console_io(CONSOLEIO_write, strlen(buf), buf);
+    } else {
+        if(!console_initialised)
+            (void)HYPERVISOR_console_io(CONSOLEIO_write, strlen(buf), buf);
         
-    console_print(buf, strlen(buf));
+        console_print(buf, strlen(buf));
+    }
 }
 
 void printk(const char *fmt, ...)