diff --git a/src/platforms/stm32/gdb_if.c b/src/platforms/stm32/gdb_if.c
index c35bb97..ff7cd5f 100644
--- a/src/platforms/stm32/gdb_if.c
+++ b/src/platforms/stm32/gdb_if.c
@@ -22,9 +22,11 @@
  * Serial Debugging protocol is implemented.  This implementation for STM32
  * uses the USB CDC-ACM device bulk endpoints to implement the channel.
  */
+
+#include <libopencmsis/core_cm3.h>
+
 #include "general.h"
 #include "cdcacm.h"
-#include <libopencmsis/core_cm3.h>
 #include "gdb_if.h"
 
 static uint32_t count_out;