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