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);
 }