From 372d672c2a73314aa4a796357ae09f1570527500 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 4 Sep 2016 16:32:47 +0200
Subject: [PATCH] Minor bugfix in write_smt2

---
 backends/smt2/smt2.cc | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/backends/smt2/smt2.cc b/backends/smt2/smt2.cc
index b881f0154..7c0ecf3b1 100644
--- a/backends/smt2/smt2.cc
+++ b/backends/smt2/smt2.cc
@@ -752,7 +752,7 @@ struct Smt2Worker
 		string assert_expr = assert_list.empty() ? "true" : "(and";
 		if (!assert_list.empty()) {
 			if (GetSize(assert_list) == 1) {
-				assert_expr = assert_list.front();
+				assert_expr = "\n  " + assert_list.front() + "\n";
 			} else {
 				for (auto &str : assert_list)
 					assert_expr += stringf("\n  %s", str.c_str());
@@ -765,7 +765,7 @@ struct Smt2Worker
 		string assume_expr = assume_list.empty() ? "true" : "(and";
 		if (!assume_list.empty()) {
 			if (GetSize(assume_list) == 1) {
-				assume_expr = assume_list.front();
+				assume_expr = "\n  " + assume_list.front() + "\n";
 			} else {
 				for (auto &str : assume_list)
 					assume_expr += stringf("\n  %s", str.c_str());
@@ -778,7 +778,7 @@ struct Smt2Worker
 		string init_expr = init_list.empty() ? "true" : "(and";
 		if (!init_list.empty()) {
 			if (GetSize(init_list) == 1) {
-				init_expr = init_list.front();
+				init_expr = "\n  " + init_list.front() + "\n";
 			} else {
 				for (auto &str : init_list)
 					init_expr += stringf("\n  %s", str.c_str());
-- 
2.30.2