From 4bb139435a340ee45e54b6cc87199da776d1a57d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 6 Aug 2025 10:51:45 -0700
Subject: [PATCH] simplify output

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

diff --git a/src/smt/smt_parallel.cpp b/src/smt/smt_parallel.cpp
index db33cda14..73ff58a2a 100644
--- a/src/smt/smt_parallel.cpp
+++ b/src/smt/smt_parallel.cpp
@@ -65,7 +65,7 @@ namespace smt {
                         break;
                     }
                     case l_true: {
-                        std::cout << "Worker " << id << " found sat cube: " << mk_pp(mk_and(cube), m) << "\n";
+                        std::cout << "Worker " << id << " found sat cube: " << mk_and(cube) << "\n";
                         model_ref mdl;
                         ctx->get_model(mdl);
                         b.set_sat(l2g, *mdl);