Fix extra newline bug in write_smt2

diff --git a/backends/smt2/smt2.cc b/backends/smt2/smt2.cc
index 24731d1c7ddd6bac292c97b0f15cd6fb44078fd9..b550a40bd159eab8e38f46a6cfe049b536d7582f 100644 (file)
--- a/backends/smt2/smt2.cc
+++ b/backends/smt2/smt2.cc
@@ -81,7 +81,7 @@ struct Smt2Worker
                else
                {
                        if (width == 0) {
-                               decl_str = stringf("(declare-fun |%s| (|%s_s|) Bool)\n", name.c_str(), get_id(module));
+                               decl_str = stringf("(declare-fun |%s| (|%s_s|) Bool)", name.c_str(), get_id(module));
                        } else {
                                decl_str = stringf("(declare-fun |%s| (|%s_s|) (_ BitVec %d))", name.c_str(), get_id(module), width);
                        }