From 5c6c07c1e207581b48d6e0500b756500937ff43c Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 9 Oct 2012 01:36:42 -0700 Subject: [PATCH] Fixed memory smash Signed-off-by: Leonardo de Moura --- lib/goal.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/goal.cpp b/lib/goal.cpp index 71f3a097c..a84b34dd5 100644 --- a/lib/goal.cpp +++ b/lib/goal.cpp @@ -497,7 +497,7 @@ void goal::elim_redundancies() { proof * prs[2] = { pr(get_idx(atom)), pr(i) }; p = m().mk_unit_resolution(2, prs); } - expr_dependency * d = 0; + expr_dependency_ref d(m()); if (unsat_core_enabled()) d = m().mk_join(dep(get_idx(atom)), dep(i)); push_back(m().mk_false(), p, d); @@ -514,7 +514,7 @@ void goal::elim_redundancies() { proof * prs[2] = { pr(get_not_idx(f)), pr(i) }; p = m().mk_unit_resolution(2, prs); } - expr_dependency * d = 0; + expr_dependency_ref d(m()); if (unsat_core_enabled()) d = m().mk_join(dep(get_not_idx(f)), dep(i)); push_back(m().mk_false(), p, d);