diff --git a/src/sat/smt/q_clause.cpp b/src/sat/smt/q_clause.cpp
index f7c200553c7..7c8a260e5ac 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);