From cc9e4d787bedf907f4fe81c8321ef070f5af0278 Mon Sep 17 00:00:00 2001
From: Tom Henderson <tomh@tomh.org>
Date: Thu, 11 Sep 2014 17:29:21 -0700
Subject: [PATCH] improve printing of window scale option

---
 src/internet/model/tcp-option-winscale.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/internet/model/tcp-option-winscale.cc b/src/internet/model/tcp-option-winscale.cc
index 96cda0f5f..d8beeb08d 100644
--- a/src/internet/model/tcp-option-winscale.cc
+++ b/src/internet/model/tcp-option-winscale.cc
@@ -56,7 +56,7 @@ TcpOptionWinScale::GetInstanceTypeId (void) const
 void
 TcpOptionWinScale::Print (std::ostream &os) const
 {
-  os << m_scale;
+  os << static_cast<int> (m_scale);
 }
 
 uint32_t