From 6d05adb43fe12006a0c0eecf11d9e2e5d8098409 Mon Sep 17 00:00:00 2001
From: Simone Ferrini <sferrini@hotmail.it>
Date: Tue, 23 Jun 2015 22:23:30 +0200
Subject: [PATCH] Added missing va_end

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

diff --git a/src/interface/console.c b/src/interface/console.c
index 51265e9eeb..5baddb4d65 100644
--- a/src/interface/console.c
+++ b/src/interface/console.c
@@ -310,8 +310,8 @@ void console_printf(const char *format, ...)
 {
 	va_list list;
 	va_start(list, format);
-	
 	vsprintf(_consolePrintfBuffer, format, list);
+	va_end(list);
 	console_writeline(_consolePrintfBuffer);
 }