From 963dfad10e304a6677c9e16dfb97f4c6ca478d6f Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Tue, 25 Oct 2016 14:15:43 +0100
Subject: [PATCH] fix for biased flag on get_numeral_exponent_string

---
 src/api/api_fpa.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/api_fpa.cpp b/src/api/api_fpa.cpp
index 8196fb826..b24b7df0a 100644
--- a/src/api/api_fpa.cpp
+++ b/src/api/api_fpa.cpp
@@ -1087,7 +1087,7 @@ 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 (!biased) mpfm.unbias_exp(ebits, exp);
+        if (!biased) exp = mpfm.unbias_exp(ebits, exp);
         std::stringstream ss;
         ss << exp;
         return mk_c(c)->mk_external_string(ss.str());