From 6352340478e605711348a1abc8d2fdba23e9474d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 19 Feb 2023 09:59:33 -0800
Subject: [PATCH] update do logging

---
 src/smt/mam.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/mam.cpp b/src/smt/mam.cpp
index 44a435041..3804b7228 100644
--- a/src/smt/mam.cpp
+++ b/src/smt/mam.cpp
@@ -3958,7 +3958,7 @@ namespace {
         void relevant_eh(enode * n, bool lazy) override {
             TRACE("trigger_bug", tout << "relevant_eh:\n" << mk_ismt2_pp(n->get_expr(), m) << "\n";
                   tout << "mam: " << this << "\n";);
-            TRACE("mam", tout << "relevant_eh: #" << n->get_owner_id() << "\n";);
+            TRACE("mam", tout << "relevant_eh: #" << enode_pp(n, m_context) << "\n";);
             if (n->has_lbl_hash())
                 update_lbls(n, n->get_lbl_hash());