From 56c88022e28e0023aa358ef9e97e2696cc2b2547 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Thu, 12 Mar 2026 18:27:36 +0000
Subject: [PATCH] Fix build: use unquoted TRACE tag identifier instead of
 string literal

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 src/ast/simplifiers/injectivity_simplifier.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ast/simplifiers/injectivity_simplifier.h b/src/ast/simplifiers/injectivity_simplifier.h
index 05b5e69ec..60d605165 100644
--- a/src/ast/simplifiers/injectivity_simplifier.h
+++ b/src/ast/simplifiers/injectivity_simplifier.h
@@ -172,7 +172,7 @@ public:
             func_decl* fn = nullptr;
             func_decl* inv = nullptr;
             if (is_axiom(d.fml(), fn, inv)) {
-                TRACE("injectivity", tout << "Marking " << fn->get_name() << " as injective\n";);
+                TRACE(injectivity, tout << "Marking " << fn->get_name() << " as injective\n";);
                 m_map.insert(fn, inv);
             }
         }