From 7d4e709eff2b49a12cf09e2bdf7b5bb096aec4f9 Mon Sep 17 00:00:00 2001
From: Gergely Nagy <algernon@keyboard.io>
Date: Wed, 23 Jan 2019 10:59:31 +0100
Subject: [PATCH] hardware/KBD4x: Make astyle happy

Signed-off-by: Gergely Nagy <algernon@keyboard.io>
---
 src/kaleidoscope/hardware/kbdfans/KBD4x.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/kaleidoscope/hardware/kbdfans/KBD4x.cpp b/src/kaleidoscope/hardware/kbdfans/KBD4x.cpp
index 83081118..c6bf0507 100644
--- a/src/kaleidoscope/hardware/kbdfans/KBD4x.cpp
+++ b/src/kaleidoscope/hardware/kbdfans/KBD4x.cpp
@@ -30,16 +30,16 @@ ATMEGA_KEYBOARD_DATA(KBD4x);
 constexpr int8_t KBD4x::led_count;
 
 #define BOOTLOADER_RESET_KEY 0xB007B007
-uint32_t reset_key  __attribute__ ((section (".noinit")));
+uint32_t reset_key  __attribute__((section(".noinit")));
 
 /*
  * This function runs before main(), and jumps to the bootloader after a reset
  * initiated by .resetDevice().
  */
 void _bootloader_jump_after_watchdog_reset()
-    __attribute__((used, naked, section(".init3")));
+__attribute__((used, naked, section(".init3")));
 void _bootloader_jump_after_watchdog_reset() {
-  if ((MCUSR & (1<<WDRF)) && reset_key == BOOTLOADER_RESET_KEY) {
+  if ((MCUSR & (1 << WDRF)) && reset_key == BOOTLOADER_RESET_KEY) {
     reset_key = 0;
 
     ((void (*)(void))(((FLASHEND + 1L) - 4096) >> 1))();