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