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