Attempt to fix ToolchainPage reloadData information.

[bertos.git] / bertos / drv / kdebug.c

diff --git a/bertos/drv/kdebug.c b/bertos/drv/kdebug.c
index d929bbbf2cd611ca8adcb0210481f80127cdb655..cb04f70b40bc3193a5398a1e3df6b80c8800d821 100644 (file)
--- a/bertos/drv/kdebug.c
+++ b/bertos/drv/kdebug.c
@@ -28,12 +28,10 @@
  *
  * Copyright 2003, 2004, 2005, 2006, 2007 Develer S.r.l. (http://www.develer.com/)
  * Copyright 2000, 2001, 2002 Bernie Innocenti <bernie@codewiz.org>
- *
  * -->
  *
  * \brief General pourpose debug support for embedded systems (implementation).
  *
- * \version $Id$
  * \author Bernie Innocenti <bernie@codewiz.org>
  * \author Stefano Fedrigo <aleph@develer.com>
  */
@@ -43,7 +41,6 @@
 #include <cfg/debug.h>
 #include <cfg/os.h>
 
-#include <cpu/irq.h>
 #include <cpu/attr.h>
 #include <cpu/types.h>