From ce9d2762945ff5849ba52822696a979076c8cc54 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 5 Aug 2026 19:07:47 -0700
Subject: [PATCH] display monadic state

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

diff --git a/src/smt/seq_regex.cpp b/src/smt/seq_regex.cpp
index c322e61568..083cdb9018 100644
--- a/src/smt/seq_regex.cpp
+++ b/src/smt/seq_regex.cpp
@@ -371,7 +371,8 @@ namespace smt {
                 break;
         }
 
-        TRACE(seq, tout << "monadic solver returned " << result << "\n";);
+        TRACE(seq, tout << "monadic solver returned " << result << "\n";
+        m_monadic.display(tout););
 
         if (result == l_false) {
             ++th.m_stats.m_regex_monadic_unsat;