--- a/src/wifi/model/ideal-wifi-manager.cc	Thu Nov 14 16:57:49 2013 -0800
+++ b/src/wifi/model/ideal-wifi-manager.cc	Thu Nov 14 16:58:28 2013 -0800
@@ -32,7 +32,8 @@
   double m_lastSnr;
 };
 
-NS_OBJECT_ENSURE_REGISTERED (IdealWifiManager);
+NS_OBJECT_ENSURE_REGISTERED (IdealWifiManager)
+  ;
 
 TypeId
 IdealWifiManager::GetTypeId (void)