From fe08c9976e9ed48d183bb54d0ef7e058ebc1d070 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 6 Jun 2022 11:29:11 -0700 Subject: [PATCH] fix #6081 --- src/ast/ast.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/ast.cpp b/src/ast/ast.cpp index 332116d7140..9112d6dae3b 100644 --- a/src/ast/ast.cpp +++ b/src/ast/ast.cpp @@ -2412,7 +2412,7 @@ bool ast_manager::is_pattern(expr const * n, ptr_vector &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(); }