diff --git a/runtime/src/generic_thread.c b/runtime/src/generic_thread.c
index 97af707..eb9c453 100644
--- a/runtime/src/generic_thread.c
+++ b/runtime/src/generic_thread.c
@@ -4,8 +4,8 @@
 #include "arch/getcycles.h"
 #include "debuglog.h"
 
-extern uint32_t                     runtime_processor_speed_MHz;
-extern uint32_t                     runtime_quantum_us;
+extern uint32_t runtime_processor_speed_MHz;
+extern uint32_t runtime_quantum_us;
 
 /* Implemented by listener and workers */