--- a/src/devices/wifi/wifi-channel.h	Mon Mar 03 05:11:11 2008 +0100
+++ b/src/devices/wifi/wifi-channel.h	Mon Mar 03 18:30:29 2008 +0100
@@ -48,6 +48,8 @@
 class WifiChannel : public Channel
 {
 public:
+  static TypeId GetTypdId (void);
+
   /**
    * arg1: the packet to receive
    * arg2: the rx power of the packet to receive (dbm)