Silence warning.
[bertos.git] / bertos / kern / irq.h
index e170ed0496793489281c5af0d027434deed6549d..eb637021a634926dcbc8f45503d36c8b28e78cad 100644 (file)
@@ -31,7 +31,7 @@
  *
  * \brief Process scheduler (public interface).
  *
- * \version $Id: proc.h 1646 2008-08-17 13:49:48Z bernie $
+ * \version $Id$
  * \author Bernie Innocenti <bernie@codewiz.org>
  */
 #ifndef KERN_IRQ_H
@@ -39,6 +39,6 @@
 
 void irq_entry(int irq);
 void irq_register(int irq, void (*handler)(void));
-void irq_init();
+void irq_init(void);
 
 #endif // KERN_IRQ_H