Index: kernel/arch/mips32/src/mips32.c
===================================================================
--- kernel/arch/mips32/src/mips32.c	(revision 177e4ea4f278b1d53d68392d53cd40704cd0931d)
+++ kernel/arch/mips32/src/mips32.c	(revision 19f857a3b361739b06d4f547174ae4ac1b99c651)
@@ -57,5 +57,5 @@
 #include <macros.h>
 #include <config.h>
-#include <string.h>
+#include <str.h>
 #include <arch/drivers/msim.h>
 #include <arch/asm/regname.h>