--- a/src/internet/model/tcp-header.cc	Mon Jul 13 08:06:38 2015 -0700
+++ b/src/internet/model/tcp-header.cc	Mon Jul 13 08:23:40 2015 -0700
@@ -516,4 +516,11 @@
     );
 }
 
+std::ostream&
+operator<< (std::ostream& os, TcpHeader const & tc)
+{
+  tc.Print (os);
+  return os;
+}
+
 } // namespace ns3