--- a/src/devices/wifi/wifi-mac-trailer.cc	Tue Oct 16 17:18:29 2007 +0200
+++ b/src/devices/wifi/wifi-mac-trailer.cc	Tue Oct 16 17:20:09 2007 +0200
@@ -62,4 +62,4 @@
   return 4;
 }
 
-}; // namespace ns3
+} // namespace ns3