3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-07 18:05:21 +00:00

Removed unused variable

This commit is contained in:
Christoph M. Wintersteiger 2016-03-15 15:12:54 +00:00
parent 371573cbff
commit 3101d281e4

View file

@ -2941,7 +2941,6 @@ void fpa2bv_converter::mk_to_ieee_bv(func_decl * f, unsigned num, expr * const *
mk_is_nan(x, x_is_nan);
sort * fp_srt = m.get_sort(x);
unsigned ebits = m_util.get_ebits(fp_srt);
unsigned sbits = m_util.get_sbits(fp_srt);
expr_ref sig_unspec(s, m);