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 bfd1546e49e40fb980d45ced0b409578ba8ab3ef)
@@ -77,5 +77,4 @@
 }
 
-#include <print.h>
 /** Read character using polling, assume interrupts disabled */
 static char msim_do_read(chardev_t *dev)