From 8c0ea9f0e7a494feb09b32650f1998ed8a35fa27 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Thu, 12 Mar 2026 17:55:43 +0000 Subject: [PATCH] Fix TRACE macro: use unquoted tag identifier (purify_arith not "purify_arith") Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> --- src/ast/simplifiers/purify_arith_simplifier.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/ast/simplifiers/purify_arith_simplifier.h b/src/ast/simplifiers/purify_arith_simplifier.h index 7b4813ce0..4cfa33d8e 100644 --- a/src/ast/simplifiers/purify_arith_simplifier.h +++ b/src/ast/simplifiers/purify_arith_simplifier.h @@ -174,7 +174,7 @@ class purify_arith_simplifier : public dependent_expr_simplifier { void push_cnstr(expr * cnstr) { m_new_cnstrs.push_back(cnstr); - TRACE("purify_arith", tout << mk_pp(cnstr, m()) << "\n";); + TRACE(purify_arith, tout << mk_pp(cnstr, m()) << "\n";); } void cache_result(app * t, expr * r, proof * pr) { @@ -540,7 +540,7 @@ class purify_arith_simplifier : public dependent_expr_simplifier { expr_ref new_body(m()); proof_ref new_body_pr(m()); r(q->get_expr(), new_body, new_body_pr); - TRACE("purify_arith", + TRACE(purify_arith, tout << "body: " << mk_ismt2_pp(q->get_expr(), m()) << "\nnew_body: " << new_body << "\n";); result = m().update_quantifier(q, new_body); }