--- a/src/internet/model/tcp-header.cc	Tue Aug 02 17:42:33 2011 -0400
+++ b/src/internet/model/tcp-header.cc	Tue Aug 02 17:43:32 2011 -0400
@@ -254,4 +254,4 @@
 }
 
 
-}; // namespace ns3
+} // namespace ns3