Index: kernel/arch/mips32/src/drivers/msim.c
===================================================================
--- kernel/arch/mips32/src/drivers/msim.c	(revision b7c404475dd97cc792174161f59a36ed39bf7c1d)
+++ kernel/arch/mips32/src/drivers/msim.c	(revision 826a4e8d659d128b34fce6e71bd9c822d63c2ddf)
@@ -77,5 +77,4 @@
 }
 
-#include <print.h>
 /** Read character using polling, assume interrupts disabled */
 static char msim_do_read(chardev_t *dev)