From 5f9891c2356857998eec7cfbf8b9585571aea892 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 16 Oct 2017 09:29:26 -0700 Subject: [PATCH] moving out construction of expr_ref Signed-off-by: Nikolaj Bjorner --- src/ast/normal_forms/nnf.cpp | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/ast/normal_forms/nnf.cpp b/src/ast/normal_forms/nnf.cpp index 6363d374a..09fccf135 100644 --- a/src/ast/normal_forms/nnf.cpp +++ b/src/ast/normal_forms/nnf.cpp @@ -225,8 +225,6 @@ struct nnf::imp { m_cache_result(other.m_cache_result), m_spos(other.m_spos) { } - //frame():m_curr(*(ast_manager*)(nullptr)) { - //} }; // There are four caches: @@ -335,7 +333,8 @@ struct nnf::imp { } void push_frame(expr * t, bool pol, bool in_q, bool cache_res) { - m_frame_stack.push_back(frame(expr_ref(t, m()), pol, in_q, cache_res, m_result_stack.size())); + expr_ref tt(t, m()); + m_frame_stack.push_back(frame(tt, pol, in_q, cache_res, m_result_stack.size())); } static unsigned get_cache_idx(bool pol, bool in_q) {