From f0af251bb2c9cc4be75474beac8ebadce23b9997 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 19 Jun 2026 16:18:07 -0700 Subject: [PATCH] updated term enumerator --- src/test/term_enumeration.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/test/term_enumeration.cpp b/src/test/term_enumeration.cpp index cfa2d563d..07f8c71da 100644 --- a/src/test/term_enumeration.cpp +++ b/src/test/term_enumeration.cpp @@ -257,6 +257,7 @@ static void tst_nested_array_enumeration() { ENSURE(count >= 1); // At least the constant array std::cout << "Enumerated " << count << " terms of sort Array(A, Array(B, A))\n"; + te.display(std::cout); }