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

removed debug output

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2016-10-25 12:20:45 +01:00
parent 5fee1ea3c0
commit dc78a04135
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/api/api_fpa.cpp
View file

@ -953,7 +953,6 @@ extern "C" {
SET_ERROR_CODE(Z3_INVALID_ARG); SET_ERROR_CODE(Z3_INVALID_ARG);
return 0; return 0;
} }
std::cout << "val=" << mpfm.to_string(val) << std::endl;
app * a; app * a;
if (mpfm.is_pos(val)) if (mpfm.is_pos(val))
a = ctx->bvutil().mk_numeral(0, 1); a = ctx->bvutil().mk_numeral(0, 1);