mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-05-03 22:05:45 +00:00
Code Activity

Build fix for old systems that don't have a float remainder(...) function.

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2016-04-28 12:52:36 +01:00
parent 10cc8c3a75
commit cba82325de
2 changed files with 7 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/util/mpf.cpp
View file

@ -1412,7 +1412,11 @@ std::string mpf_manager::to_string_hexfloat(mpf const & x) {
std::ios::fmtflags ff = ss.setf(std::ios_base::hex | std::ios_base::uppercase |
std::ios_base::showpoint | std::ios_base::showpos);
ss.precision(13);
#if defined(_WIN32) && _MSC_VER >= 1800
ss << std::hexfloat << to_double(x);
#else
ss << std::hex << (*reinterpret_cast<const unsigned long long *>(&(x)));
#endif
return ss.str();
}