Index: arch/amd64/src/proc/scheduler.c
===================================================================
--- arch/amd64/src/proc/scheduler.c	(revision 6c6a19e69c1590fe11db392c881db419fd28d8e1)
+++ arch/amd64/src/proc/scheduler.c	(revision 9aa72b42058acb9ec55cd96d960e524465201dc6)
@@ -34,6 +34,6 @@
 #include <arch/asm.h>
 #include <arch/debugger.h>
+#include <print.h>
 
-#include <print.h>
 void before_thread_runs_arch(void)
 {