From e6dc4172b17d9f08f5449c609b63d3229e9b3c94 Mon Sep 17 00:00:00 2001
From: Riccardo <riccardo.biasini@gmail.com>
Date: Sun, 7 Jul 2019 15:57:14 -0700
Subject: [PATCH] Minor indent error

---
 board/bootstub.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/board/bootstub.c b/board/bootstub.c
index 626ede4870931d..799c39d059360c 100644
--- a/board/bootstub.c
+++ b/board/bootstub.c
@@ -14,11 +14,11 @@
 
 // default since there's no serial
 void puts(const char *a) {
- UNUSED(a);
+  UNUSED(a);
 }
 
 void puth(unsigned int i) {
-UNUSED(i);
+  UNUSED(i);
 }
 
 #include "libc.h"