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