fix #6081

Z3Prover · Jun 6, 2022 · fe08c99 · fe08c99
1 parent cc045de
commit fe08c99
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ast/ast.cpp b/src/ast/ast.cpp
@@ -2412,7 +2412,7 @@ bool ast_manager::is_pattern(expr const * n, ptr_vector<expr> &args) {
 
 static void trace_quant(std::ostream& strm, quantifier* q) {
     strm << (is_lambda(q) ? "[mk-lambda]" : "[mk-quant]")
-         << " #" << q->get_id() << " " << q->get_qid() << " " << q->get_num_decls();
+         << " #" << q->get_id() << " " << ensure_quote(q->get_qid()) << " " << q->get_num_decls();
     for (unsigned i = 0; i < q->get_num_patterns(); ++i) {
         strm << " #" << q->get_pattern(i)->get_id();
     }