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