Index: kernel/generic/src/debug/symtab.c
===================================================================
--- kernel/generic/src/debug/symtab.c	(revision a3630165a53276d3b260291f875ed00c4e105d15)
+++ kernel/generic/src/debug/symtab.c	(revision 5823f4dafdc6e95ad32a5172bfc2a5313cef59d7)
@@ -41,5 +41,4 @@
 #include <print.h>
 #include <typedefs.h>
-#include <typedefs.h>
 #include <errno.h>
 #include <console/prompt.h>