Index: arch/mips32/src/interrupt.c
===================================================================
--- arch/mips32/src/interrupt.c	(revision 5626277b8459d4e7f87105bacfa7b3ef4aa4e53b)
+++ arch/mips32/src/interrupt.c	(revision 4fd61ba9ecb8f0f9026f3fa3a2b1cd920756fdb4)
@@ -103,5 +103,4 @@
 }
 
-#include <print.h>
 static void ipc_int(int n, istate_t *istate)
 {