--- a/src/node/net-device.h	Sun May 13 10:46:44 2007 +0200
+++ b/src/node/net-device.h	Sun May 13 10:57:43 2007 +0200
@@ -111,7 +111,7 @@
   /**
    * \param index ifIndex of the device 
    */
-  void SetIfIndex(const uint32_t);
+  void SetIfIndex(const uint32_t index);
   /**
    * \return index ifIndex of the device 
    */