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