From e68c72755a10ab3e4bc585434ce8637c388fedd1 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 29 May 2020 14:49:53 -0700 Subject: [PATCH] fix leak Signed-off-by: Nikolaj Bjorner --- src/ast/rewriter/seq_rewriter.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/ast/rewriter/seq_rewriter.cpp b/src/ast/rewriter/seq_rewriter.cpp index 2fc1a8989..d48356456 100644 --- a/src/ast/rewriter/seq_rewriter.cpp +++ b/src/ast/rewriter/seq_rewriter.cpp @@ -2263,8 +2263,8 @@ br_status seq_rewriter::mk_re_derivative(expr* ele, expr* r, expr_ref& result) { unsigned lo = 0, hi = 0; if (re().is_concat(r, r1, r2)) { expr_ref is_n = is_nullable(r1); - expr* dr1 = re().mk_derivative(ele, r1); - expr* dr2 = re().mk_derivative(ele, r2); + expr_ref dr1(re().mk_derivative(ele, r1), m()); + expr_ref dr2(re().mk_derivative(ele, r2), m()); result = re().mk_concat(dr1, r2); if (m().is_false(is_n)) { return BR_REWRITE2;