#5336

Z3Prover · Jun 20, 2021 · 02644b5 · 02644b5
1 parent 8d37495
commit 02644b5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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);