--- a/src/wifi/model/cara-wifi-manager.cc	Thu Nov 14 16:57:49 2013 -0800
+++ b/src/wifi/model/cara-wifi-manager.cc	Thu Nov 14 16:58:28 2013 -0800
@@ -40,7 +40,8 @@
   uint32_t m_rate;
 };
 
-NS_OBJECT_ENSURE_REGISTERED (CaraWifiManager);
+NS_OBJECT_ENSURE_REGISTERED (CaraWifiManager)
+  ;
 
 TypeId
 CaraWifiManager::GetTypeId (void)