From fe08c9976e9ed48d183bb54d0ef7e058ebc1d070 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
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 332116d71..9112d6dae 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<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();
}