From 1163cb9cb5e48153d1a6d723e8577d8ec3821692 Mon Sep 17 00:00:00 2001
From: Damien George <damien.p.george@gmail.com>
Date: Sun, 20 Jul 2014 13:10:18 +0100
Subject: [PATCH] stmhal: Change calls to pfenv_printf to pfenv_vprintf.

Fixes printing bugs introduced by
cb66f41ebc4980f4e6b7543bece19e3b9daac25c.
---
 stmhal/printf.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/stmhal/printf.c b/stmhal/printf.c
index d998a6277d..53c47c6338 100644
--- a/stmhal/printf.c
+++ b/stmhal/printf.c
@@ -81,7 +81,7 @@ int DEBUG_printf(const char *fmt, ...) {
     (void)stream;
     va_list ap;
     va_start(ap, fmt);
-    int ret = pfenv_printf(&pfenv_stdout, fmt, ap);
+    int ret = pfenv_vprintf(&pfenv_stdout, fmt, ap);
     va_end(ap);
     return ret;
 }
@@ -124,7 +124,7 @@ int vsnprintf(char *str, size_t size, const char *fmt, va_list ap) {
     pfenv_t pfenv;
     pfenv.data = &strn_pfenv;
     pfenv.print_strn = strn_print_strn;
-    int len = pfenv_printf(&pfenv, fmt, ap);
+    int len = pfenv_vprintf(&pfenv, fmt, ap);
     // add terminating null byte
     if (size > 0) {
         if (strn_pfenv.remain == 0) {