Index: kernel/generic/src/adt/btree.c
===================================================================
--- kernel/generic/src/adt/btree.c	(revision 377818191c87c5eca4e9c6ab5eb18e5d7d8b9103)
+++ kernel/generic/src/adt/btree.c	(revision e131bd05cd3ced3b445c51035c8943d3ead77524)
@@ -52,5 +52,5 @@
 #include <mm/slab.h>
 #include <panic.h>
-#include <print.h>
+#include <stdio.h>
 #include <trace.h>