mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-08 15:13:23 +00:00
Code Activity

formatting

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2015-12-17 17:39:23 +00:00
parent 1cc2385fd2
commit ed1e8b73ed
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/api/api_fpa.cpp
View file

@ -939,7 +939,7 @@ extern "C" {
} }
else if (!mpfm.is_regular(val)) { else if (!mpfm.is_regular(val)) {
SET_ERROR_CODE(Z3_INVALID_ARG) SET_ERROR_CODE(Z3_INVALID_ARG)
return ""; return "";
} }
unsigned sbits = val.get().get_sbits(); unsigned sbits = val.get().get_sbits();
scoped_mpq q(mpqm); scoped_mpq q(mpqm);
@ -992,7 +992,7 @@ extern "C" {
} }
else if (!mpfm.is_normal(val) && !mpfm.is_denormal(val)) { else if (!mpfm.is_normal(val) && !mpfm.is_denormal(val)) {
SET_ERROR_CODE(Z3_INVALID_ARG) SET_ERROR_CODE(Z3_INVALID_ARG)
return ""; return "";
} }
mpf_exp_t exp = mpfm.exp_normalized(val); mpf_exp_t exp = mpfm.exp_normalized(val);
std::stringstream ss; std::stringstream ss;