3 files changed, 7 insertions, 14 deletions
diff --git a/puzzle/smoketest/FreeRTOSConfig.h b/puzzle/smoketest/FreeRTOSConfig.h
index 81c487f..44fc902 100644
--- a/puzzle/smoketest/FreeRTOSConfig.h
+++ b/puzzle/smoketest/FreeRTOSConfig.h
@@ -49,4 +49,3 @@
 #define INCLUDE_xTaskGetHandle 1
 #define INCLUDE_xTaskResumeFromISR 1
 #define INCLUDE_xQueueGetMutexHolder 1
-
diff --git a/puzzle/smoketest/main.cpp b/puzzle/smoketest/main.cpp
index 3169ed5..35a4ec9 100644
--- a/puzzle/smoketest/main.cpp
+++ b/puzzle/smoketest/main.cpp
@@ -1,6 +1,6 @@
-#include <Arduino.h>
-#include "lib/pbdrv/pb-types.h"
 #include "lib/pbdrv/pb-mod.h"
+#include "lib/pbdrv/pb-types.h"
+#include <Arduino.h>
 
 //! LED pin (on-board LED on Arduino Uno board) \ingroup puz_smoketest
 #define EXTERNAL_LED_PIN 13
@@ -9,17 +9,13 @@
 
 pb_global_state_t state = PB_GS_NOINIT;
 
-pb_global_state_t pb_hook_mod_state_read() {
-  return state;
-}
+pb_global_state_t pb_hook_mod_state_read() { return state; }
 
-void pb_hook_mod_state_write(pb_global_state_t _state) {
-  state = _state;
-}
+void pb_hook_mod_state_write(pb_global_state_t _state) { state = _state; }
 
 void setup() {
-  pinMode(EXTERNAL_LED_PIN, OUTPUT);
-  pinMode(BUTTON_PIN, INPUT_PULLUP);
+	pinMode(EXTERNAL_LED_PIN, OUTPUT);
+	pinMode(BUTTON_PIN, INPUT_PULLUP);
 }
 
 void loop() {
@@ -28,4 +24,3 @@ void loop() {
 	if (!digitalRead(BUTTON_PIN)) // button is inverted
 		state = PB_GS_SOLVED;
 }
-
diff --git a/puzzle/smoketest/mod.c b/puzzle/smoketest/mod.c
index a1e2843..d9d5824 100644
--- a/puzzle/smoketest/mod.c
+++ b/puzzle/smoketest/mod.c
@@ -1,6 +1,5 @@
-#include "pb.h"
 #include "pb-mod.h"
+#include "pb.h"
 
 const char * PB_MOD_NAME = "smoketest";
 const i2c_addr_t PB_MOD_ADDR = PB_ADDR_MOD_SMOKETEST;
-