From f18b4430c3e21746f022078026181cb932107e72 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 12 Oct 2019 18:26:11 -0700 Subject: [PATCH] fix to_app crash Signed-off-by: Nikolaj Bjorner --- src/ast/fpa/bv2fpa_converter.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/ast/fpa/bv2fpa_converter.cpp b/src/ast/fpa/bv2fpa_converter.cpp index 6db0370eb..fca1dc4b9 100644 --- a/src/ast/fpa/bv2fpa_converter.cpp +++ b/src/ast/fpa/bv2fpa_converter.cpp @@ -304,9 +304,9 @@ func_interp * bv2fpa_converter::convert_func_interp(model_core * mc, func_decl * } } - app_ref bv_els(m); - bv_els = to_app(bv_fi->get_else()); - if (bv_els != nullptr) { + expr_ref bv_els(m); + bv_els = bv_fi->get_else(); + if (bv_els) { expr_ref ft_els = rebuild_floats(mc, rng, bv_els); m_th_rw(ft_els); result->set_else(ft_els);