mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-19 12:23:38 +00:00
Code Activity

Fix typo.

Browse source
This commit is contained in:
Bruce Mitchener 2018-12-01 21:06:16 +07:00
parent 7d4f2a2f21
commit 150fe881ce
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/util/hwf.cpp
View file

@ -303,7 +303,7 @@ void hwf_manager::round_to_integral(mpf_rounding_mode rm, hwf const & x, hwf & o
// CMW: modf is not the right function here. // CMW: modf is not the right function here.
// modf(x.value, &o.value); // modf(x.value, &o.value);
// According to the Intel Architecture manual, the x87-instrunction FRNDINT is the // According to the Intel Architecture manual, the x87-instruction FRNDINT is the
// same in 32-bit and 64-bit mode. The _mm_round_* intrinsics are SSE4 extensions. // same in 32-bit and 64-bit mode. The _mm_round_* intrinsics are SSE4 extensions.
#ifdef _WINDOWS #ifdef _WINDOWS
#if defined(USE_INTRINSICS) && \ #if defined(USE_INTRINSICS) && \