mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-27 02:45:51 +00:00
Code Activity

Remove duplicate binary condition. Fixes #4668.

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2020-09-01 15:22:01 +00:00
parent ecddaeae66
commit 527bf72d42
No known key found for this signature in database
GPG key ID: BCF6360F86294467
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

@ -342,7 +342,7 @@ void hwf_manager::minimum(hwf const & x, hwf const & y, hwf & o) {
_mm_store_sd(&o.value, _mm_min_sd(_mm_set_sd(x.value), _mm_set_sd(y.value)));
#else
// use __min ?
if (is_nan(x) || is_nan(x))
if (is_nan(x))
o.value = y.value;
else if (is_nan(y))
o.value = x.value;