From 6416d96fbc6946a0eee8ba29bb881fbf4dcbe607 Mon Sep 17 00:00:00 2001
From: Franklin Wei <git@fwei.tk>
Date: Sat, 23 Dec 2017 21:23:06 -0500
Subject: fix red

Change-Id: I20f1bd6f0208f6108d68fb59206b09dd9da4f1af
---
 firmware/common/vuprintf.c | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'firmware/common/vuprintf.c')

diff --git a/firmware/common/vuprintf.c b/firmware/common/vuprintf.c
index becb05e..a4b3c72 100644
--- a/firmware/common/vuprintf.c
+++ b/firmware/common/vuprintf.c
@@ -23,6 +23,7 @@
 #include <limits.h>
 #include <string.h>
 #include <stddef.h>
+#include <stdio.h> /* for snprintf */
 #include "system.h"
 #include "vuprintf.h"
 
@@ -533,6 +534,8 @@ static const char * format_f(double f,
                              int radixchar,
                              bool *numericp)
 {
+    (void) radixchar;
+    (void) numericp;
     fmt_buf->length = snprintf(fmt_buf->buf, 24, "%d.%06d", (int)f, ABS((int)((f - (int)f)*1e6)));
     return fmt_buf->buf;
 }
-- 
cgit v1.1