github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-01-31 14:12:20 +00:00
Code Issues Releases Wiki Activity

Fix extra newline bug in write_smt2

Browse Source
This commit is contained in:
Clifford Wolf
2017-02-26 14:41:27 +01:00
parent 6e152f7aa1
commit 80ecd7a26f
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
backends/smt2/smt2.cc
View File

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