3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 10:25:18 +00:00

eliminated unused variable

This commit is contained in:
Christoph M. Wintersteiger 2015-01-21 19:36:41 +00:00
parent 25011bc034
commit 560fa79d1f

View file

@ -111,7 +111,6 @@ namespace smt {
tout << "value[" << i << "] = " << mk_ismt2_pp(values[i], m) << std::endl;);
mpf_manager & mpfm = m_fu.fm();
unsynch_mpq_manager & mpqm = mpfm.mpq_manager();
unsynch_mpz_manager & mpzm = mpfm.mpz_manager();
app * result;