From 383f4db14cd73c406fc6a216c481cf3acc01afe2 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 12 Jul 2025 17:51:37 -0700 Subject: [PATCH] update pretty printer to show lambdas --- src/ast/euf/euf_egraph.cpp | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/src/ast/euf/euf_egraph.cpp b/src/ast/euf/euf_egraph.cpp index 10ed000c6..7dcc49dcf 100644 --- a/src/ast/euf/euf_egraph.cpp +++ b/src/ast/euf/euf_egraph.cpp @@ -903,12 +903,7 @@ namespace euf { out << "n"; out << "#" << n->get_expr_id() << " := "; expr* f = n->get_expr(); - if (is_app(f)) - out << mk_bounded_pp(f, m, 1) << " "; - else if (is_quantifier(f)) - out << "q:" << f->get_id() << " "; - else - out << "v:" << f->get_id() << " "; + out << mk_bounded_pp(f, m, 1) << " "; if (!n->is_root()) out << "[r " << n->get_root()->get_expr_id() << "] "; if (!n->m_parents.empty()) {