From 218e47f34b35aeba01ef5983efc8b177ef96c9bb Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Sun, 22 May 2016 18:21:28 +0100
Subject: [PATCH] Removed unused variable

---
 src/smt/theory_fpa.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/smt/theory_fpa.cpp b/src/smt/theory_fpa.cpp
index c6c302ded..dca364686 100644
--- a/src/smt/theory_fpa.cpp
+++ b/src/smt/theory_fpa.cpp
@@ -317,8 +317,7 @@ namespace smt {
         SASSERT(!m_fpa_util.is_fp(e));
         SASSERT(m_bv_util.is_bv(e));
         SASSERT(m_fpa_util.is_float(s) || m_fpa_util.is_rm(s));
-        ast_manager & m = get_manager();
-        sort * bv_srt = m.get_sort(e);
+        ast_manager & m = get_manager();        
         app_ref res(m);
 
         unsigned bv_sz = m_bv_util.get_bv_size(e);