mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

debug fix for mpf_manager

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2016-04-28 12:54:10 +01:00
parent deea4e92f2
commit f3c74a06eb
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/util/mpf.cpp
View file

@ -1411,6 +1411,7 @@ std::string mpf_manager::to_string_hexfloat(mpf const & x) {
std::stringstream ss(""); std::stringstream ss("");
std::ios::fmtflags ff = ss.setf(std::ios_base::hex | std::ios_base::uppercase | std::ios::fmtflags ff = ss.setf(std::ios_base::hex | std::ios_base::uppercase |
std::ios_base::showpoint | std::ios_base::showpos); std::ios_base::showpoint | std::ios_base::showpos);
ss.setf(ff);
ss.precision(13); ss.precision(13);
#if defined(_WIN32) && _MSC_VER >= 1800 #if defined(_WIN32) && _MSC_VER >= 1800
ss << std::hexfloat << to_double(x); ss << std::hexfloat << to_double(x);