From 4dfb6f7a7d6f048fd2deed69c7537c4278f28b7e Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 12 Apr 2026 15:45:03 -0700
Subject: [PATCH] display node state

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/seq/seq_nielsen.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/smt/seq/seq_nielsen.cpp b/src/smt/seq/seq_nielsen.cpp
index 817594339..7df78cf0c 100644
--- a/src/smt/seq/seq_nielsen.cpp
+++ b/src/smt/seq/seq_nielsen.cpp
@@ -3819,6 +3819,8 @@ namespace seq {
             return;
         uint_set seen_vars;
 
+        TRACE(seq, display(tout, m_root));
+
         seq_util& seq = m_sg.get_seq_util();
         for (str_eq const& eq : m_root->str_eqs()) {
             if (eq.is_trivial())