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

Build fix for VS2012 and earlier.

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2016-04-27 20:15:22 +01:00
parent bf49f81622
commit 10cc8c3a75
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/util/hwf.cpp
View file

@ -383,7 +383,13 @@ void hwf_manager::round_to_integral(mpf_rounding_mode rm, hwf const & x, hwf & o
} }
void hwf_manager::rem(hwf const & x, hwf const & y, hwf & o) { void hwf_manager::rem(hwf const & x, hwf const & y, hwf & o) {
#if defined(_WINDOWS) && _MSC_VER < 1800
o.value = fmod(x.value, y.value);
if (o.value >= (y.value/2))
o.value /= 2.0;
#else
o.value = remainder(x.value, y.value); o.value = remainder(x.value, y.value);
#endif
#if 0 #if 0
// Here is an x87 alternative if the above makes problems; this may also be faster. // Here is an x87 alternative if the above makes problems; this may also be faster.