From 02644b5b7129f35df0d5ea7225e8711e1bd33fde Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 17 Jun 2021 13:57:58 -0700
Subject: [PATCH] #5336

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

diff --git a/src/sat/smt/q_clause.cpp b/src/sat/smt/q_clause.cpp
index f7c200553..7c8a260e5 100644
--- a/src/sat/smt/q_clause.cpp
+++ b/src/sat/smt/q_clause.cpp
@@ -45,7 +45,7 @@ namespace q {
         binding* b = m_bindings;
         if (b) {
             do {
-                b->display(ctx, num_decls(), out) << " - " << b << "\n";
+                b->display(ctx, num_decls(), out) << "\n";
                 b = b->next();
             }
             while (b != m_bindings);