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