From 3c96b51e979143733fc082949543324eb0a2cfb9 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 12 Jan 2019 00:40:36 -0800 Subject: [PATCH] lvl -> _lvl Signed-off-by: Nikolaj Bjorner --- src/sat/sat_solver.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/sat/sat_solver.cpp b/src/sat/sat_solver.cpp index 2e4e4c299..c9b535997 100644 --- a/src/sat/sat_solver.cpp +++ b/src/sat/sat_solver.cpp @@ -761,7 +761,7 @@ namespace sat { void solver::assign_core(literal l, unsigned _lvl, justification j) { SASSERT(value(l) == l_undef); - TRACE("sat_assign_core", tout << l << " " << j << " level: " << lvl << "\n";); + TRACE("sat_assign_core", tout << l << " " << j << " level: " << _lvl << "\n";); if (_lvl == 0 && m_config.m_drat) { m_drat.add(l, !j.is_none()); }