From 4681c51413d859c95de70b57fa89864d7d3f9029 Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Thu, 22 Jan 2026 03:45:48 +0000 Subject: [PATCH] Fix missing newline after attributes in benchmark_to_smtlib_string (#8276) Without this, when the attributes parameter doesn't end with a newline, the subsequent (assert ...) statement gets concatenated to the attributes comment line, producing invalid SMT-LIB. Signed-off-by: Josh Berdine --- src/ast/ast_smt_pp.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/ast_smt_pp.cpp b/src/ast/ast_smt_pp.cpp index 68936ac49..23130e902 100644 --- a/src/ast/ast_smt_pp.cpp +++ b/src/ast/ast_smt_pp.cpp @@ -977,7 +977,7 @@ void ast_smt_pp::display_smt2(std::ostream& strm, expr* n) { strm << "(set-logic " << m_logic << ")\n"; } if (!m_attributes.empty()) { - strm << "; " << m_attributes; + strm << "; " << m_attributes << "\n"; } #if 0