From 18eeb48b343a7290d9e9b4acdb397bb87dc0586b Mon Sep 17 00:00:00 2001 From: Jakob Rath Date: Wed, 3 Apr 2024 17:58:35 +0200 Subject: [PATCH] invalidated reference --- src/sat/smt/polysat/viable.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/sat/smt/polysat/viable.cpp b/src/sat/smt/polysat/viable.cpp index c3a596f93..bae311ada 100644 --- a/src/sat/smt/polysat/viable.cpp +++ b/src/sat/smt/polysat/viable.cpp @@ -572,7 +572,7 @@ next: */ dependency_vector viable::explain() { dependency_vector result; - explanation const& last = m_explain.back(); + explanation const last = m_explain.back(); verbose_stream() << "\n\n\n\n\nviable::explain: " << m_explain_kind << " v" << m_var << "\n"; display_explain(verbose_stream()) << "\n";