From 8ddd4358352e4ed1315ee33f7577d47ab13d2ae4 Mon Sep 17 00:00:00 2001
From: Can Cebeci <can.cebeci99@gmail.com>
Date: Mon, 1 Jun 2026 16:00:59 -0700
Subject: [PATCH] Fix misleading generation number in trace (#9687)

Current implementation prints 0 when the cached generation is used
---
 src/smt/smt_internalizer.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/smt_internalizer.cpp b/src/smt/smt_internalizer.cpp
index ca7895b69..d1e6c7749 100644
--- a/src/smt/smt_internalizer.cpp
+++ b/src/smt/smt_internalizer.cpp
@@ -1058,7 +1058,7 @@ namespace smt {
         SCTRACE(causality, m_coming_from_quant, tout << "EN: #" << e->get_owner_id() << "\n";);
 
         if (m.has_trace_stream())
-            m.trace_stream() << "[attach-enode] #" << n->get_id() << " " << m_generation << "\n";        
+            m.trace_stream() << "[attach-enode] #" << n->get_id() << " " << generation << "\n";        
 
         return e;
     }