1 files changed, 1 insertions, 0 deletions
diff --git a/src/chdebug.c b/src/chdebug.c
index 63d5090ee..a3873cb60 100644
--- a/src/chdebug.c
+++ b/src/chdebug.c
@@ -40,6 +40,7 @@ void trace_init(void) {
   trace_buffer.tb_size = TRACE_BUFFER_SIZE;
   trace_buffer.tb_ptr = &trace_buffer.tb_buffer[0];
 }
+
 /**
  * @brief Inserts in the circular debug trace buffer a context switch record.
  *