From defb6158fe61d0c93662b07bd547c6dcf2dd7beb Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Mon, 29 Dec 2014 17:09:28 +0000
Subject: [PATCH] MPF: bugfix

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
 src/util/mpf.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/mpf.cpp b/src/util/mpf.cpp
index 405f34c9d..e3f35538e 100644
--- a/src/util/mpf.cpp
+++ b/src/util/mpf.cpp
@@ -1174,7 +1174,7 @@ std::string mpf_manager::to_string(mpf const & x) {
     if (is_nan(x)) 
         res = "NaN";
     else {
-        res = sgn(x) ? "-" : "+";
+        res = sgn(x) ? "-" : "";
 
         if (is_inf(x))
             res += "INF";