Index: kernel/arch/mips32/include/debug.h
===================================================================
--- kernel/arch/mips32/include/debug.h	(revision b8230b99f42baed609487cfaa5737fbb11968cc0)
+++ kernel/arch/mips32/include/debug.h	(revision 4bb7ffef3e23c7aa82199ac6ba9838b10a2ceea7)
@@ -34,5 +34,5 @@
 
 #ifndef KERN_mips32_DEBUG_H_
-#define KERN_mips23_DEBUG_H_
+#define KERN_mips32_DEBUG_H_
 
 /** Enter the simulator trace mode */