From 99f5269b788ee1d2235ded2940d209db55e1b8d8 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Mon, 16 May 2016 16:15:44 +0100
Subject: [PATCH] debug output fix

---
 src/util/mpf.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/util/mpf.cpp b/src/util/mpf.cpp
index 14fb1c535..fecee7970 100644
--- a/src/util/mpf.cpp
+++ b/src/util/mpf.cpp
@@ -1524,9 +1524,9 @@ std::string mpf_manager::to_string(mpf const & x) {
         }
     }
 
-    DEBUG_CODE(
-       res += " " + to_string_raw(x);
-    );
+    //DEBUG_CODE(
+    //   res += " " + to_string_raw(x);
+    //);
 
     return res;
 }