mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-24 21:26:59 +00:00
Code Activity

invalidated reference

Browse source
This commit is contained in:
Jakob Rath 2024-04-03 17:58:35 +02:00
parent b808dece15
commit 18eeb48b34
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/sat/smt/polysat/viable.cpp
View file

@ -572,7 +572,7 @@ next:
*/ */
dependency_vector viable::explain() { dependency_vector viable::explain() {
dependency_vector result; 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"; verbose_stream() << "\n\n\n\n\nviable::explain: " << m_explain_kind << " v" << m_var << "\n";
display_explain(verbose_stream()) << "\n"; display_explain(verbose_stream()) << "\n";