From 9c16d16bc881bdcacbc4374054fce16c3b5bd839 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Fri, 28 Oct 2016 12:22:28 +0100
Subject: [PATCH] removed debug output

---
 src/api/api_fpa.cpp | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/api/api_fpa.cpp b/src/api/api_fpa.cpp
index 39294005c..46234c0d2 100644
--- a/src/api/api_fpa.cpp
+++ b/src/api/api_fpa.cpp
@@ -1154,10 +1154,8 @@ extern "C" {
                         mpfm.is_denormal(val) ? mpfm.mk_min_exp(ebits) :
                         mpfm.is_inf(val) ? mpfm.mk_top_exp(ebits) :
                         mpfm.bias_exp(ebits, mpfm.exp(val));
-        if (mpfm.is_normal(val) && !biased)  {
-            std::cout << "unbiassing" << std::endl;
+        if (mpfm.is_normal(val) && !biased)
             exp = mpfm.exp(val);
-        }
 
         app * a = mk_c(c)->bvutil().mk_numeral(exp, ebits);
         mk_c(c)->save_ast_trail(a);