Index: arch/ppc32/src/interrupt.c
===================================================================
--- arch/ppc32/src/interrupt.c	(revision 982f0feaabf3d54a008808578e7106b5dfa64682)
+++ arch/ppc32/src/interrupt.c	(revision 4ddeace5764cff68ff26f294be7ead55e4d70796)
@@ -67,5 +67,4 @@
 }
 
-#include <print.h>
 /** Handler of externul interrupts */
 void extint_handler(int n, istate_t *istate)