From 1294a2ac1563c47ae4f19dbfe68d83de044f3370 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Thu, 1 Oct 2015 13:31:37 +0100 Subject: [PATCH] Fixed a memory leak --- src/tactic/fpa/fpa2bv_model_converter.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/tactic/fpa/fpa2bv_model_converter.cpp b/src/tactic/fpa/fpa2bv_model_converter.cpp index f0a25a9d5..e4d51ed45 100644 --- a/src/tactic/fpa/fpa2bv_model_converter.cpp +++ b/src/tactic/fpa/fpa2bv_model_converter.cpp @@ -113,6 +113,7 @@ expr_ref fpa2bv_model_converter::convert_bv2fp(sort * s, expr * sgn, expr * exp, " " << mk_ismt2_pp(exp, m) << " " << mk_ismt2_pp(sig, m) << "] == " << mk_ismt2_pp(res, m) << std::endl;); + fu.fm().del(fp_val); return res; }