From bebf2d6a524693e1b110eeeede4d15ca0ff80f28 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 15 Aug 2021 00:24:43 -0700 Subject: [PATCH] na Signed-off-by: Nikolaj Bjorner --- src/ast/rewriter/der.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/rewriter/der.cpp b/src/ast/rewriter/der.cpp index c47bbe4974d..93b7c6226ba 100644 --- a/src/ast/rewriter/der.cpp +++ b/src/ast/rewriter/der.cpp @@ -339,7 +339,7 @@ void der::apply_substitution(quantifier * q, expr_ref_vector& ors, expr_ref & r) m_new_args.push_back(ors.get(i)); } - expr_ref t = mk_or(m, m_new_args.size(), m_new_args.data()); + expr_ref t(mk_or(m, m_new_args.size(), m_new_args.data()), m); expr_ref new_e = m_subst(t, m_subst_map); // don't forget to update the quantifier patterns