diff --git a/src/smt/theory_fpa.cpp b/src/smt/theory_fpa.cpp index e76594ded..45cd60332 100644 --- a/src/smt/theory_fpa.cpp +++ b/src/smt/theory_fpa.cpp @@ -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;