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