From f3c74a06ebc4180081d532df6a5ad3c8e7c59e07 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Thu, 28 Apr 2016 12:54:10 +0100
Subject: [PATCH] debug fix for mpf_manager

---
 src/util/mpf.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/util/mpf.cpp b/src/util/mpf.cpp
index 1725ead72..1bf968cdd 100644
--- a/src/util/mpf.cpp
+++ b/src/util/mpf.cpp
@@ -1411,6 +1411,7 @@ std::string mpf_manager::to_string_hexfloat(mpf const & x) {
     std::stringstream ss("");
     std::ios::fmtflags ff = ss.setf(std::ios_base::hex | std::ios_base::uppercase |
                                     std::ios_base::showpoint | std::ios_base::showpos);
+    ss.setf(ff);
     ss.precision(13);
 #if defined(_WIN32) && _MSC_VER >= 1800
     ss << std::hexfloat << to_double(x);