From 560fa79d1ff217326e7c63fce7eda69729691539 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Wed, 21 Jan 2015 19:36:41 +0000
Subject: [PATCH] eliminated unused variable

---
 src/smt/theory_fpa.cpp | 1 -
 1 file changed, 1 deletion(-)

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;