--- a/src/wifi/model/cara-wifi-manager.cc	Wed Mar 05 16:55:49 2014 -0800
+++ b/src/wifi/model/cara-wifi-manager.cc	Wed Mar 05 17:06:59 2014 -0800
@@ -46,8 +46,7 @@
   uint32_t m_rate;
 };
 
-NS_OBJECT_ENSURE_REGISTERED (CaraWifiManager)
-  ;
+NS_OBJECT_ENSURE_REGISTERED (CaraWifiManager);
 
 TypeId
 CaraWifiManager::GetTypeId (void)