From bf4c35982f35831e67765589d07f28d405de00eb Mon Sep 17 00:00:00 2001 From: Arie Gurfinkel Date: Mon, 21 May 2018 21:28:50 -0700 Subject: [PATCH] Debug print --- src/qe/qe_arrays.cpp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/qe/qe_arrays.cpp b/src/qe/qe_arrays.cpp index 305fb47b6..4a70d1fcb 100644 --- a/src/qe/qe_arrays.cpp +++ b/src/qe/qe_arrays.cpp @@ -631,13 +631,13 @@ namespace qe { m_v = arr_vars.get (i); if (!m_arr_u.is_array (m_v)) { TRACE ("qe", - tout << "not an array variable: " << m_v << "\n"; + tout << "not an array variable: " << mk_pp (m_v, m) << "\n"; ); aux_vars.push_back (m_v); continue; } TRACE ("qe", - tout << "projecting equalities on variable: " << m_v << "\n"; + tout << "projecting equalities on variable: " << mk_pp (m_v, m) << "\n"; ); if (project (fml)) { @@ -653,8 +653,8 @@ namespace qe { ); } else { - IF_VERBOSE(2, verbose_stream() << "can't project:" << m_v << "\n";); - TRACE ("qe", tout << "Failed to project: " << m_v << "\n";); + IF_VERBOSE(2, verbose_stream() << "can't project:" << mk_pp(m_v, m) << "\n";); + TRACE ("qe", tout << "Failed to project: " << mk_pp (m_v, m) << "\n";); arr_vars[j++] = m_v; } }