From 60c6249912a1fc8183a5f561f32ec455edfc2d10 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Sun, 17 Sep 2017 18:09:10 +0100 Subject: [PATCH] Removed unused variable --- src/ast/rewriter/fpa_rewriter.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/ast/rewriter/fpa_rewriter.cpp b/src/ast/rewriter/fpa_rewriter.cpp index 09307cbf2..6420dd968 100644 --- a/src/ast/rewriter/fpa_rewriter.cpp +++ b/src/ast/rewriter/fpa_rewriter.cpp @@ -772,7 +772,6 @@ br_status fpa_rewriter::mk_to_bv(func_decl * f, expr * arg1, expr * arg2, bool i if (m_util.is_rm_numeral(arg1, rmv) && m_util.is_numeral(arg2, v)) { - const mpf & x = v.get(); if (m_fm.is_nan(v) || m_fm.is_inf(v)) return mk_to_bv_unspecified(f, result);