na

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Aug 15, 2021 · bebf2d6 · bebf2d6
1 parent b7d4501
commit bebf2d6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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