summaryrefslogtreecommitdiff
path: root/backends/smt2
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2015-06-14 16:22:06 +0200
committerClifford Wolf <clifford@clifford.at>2015-06-14 16:22:06 +0200
commit93685a77c6846be3e8e28c041688f668d132c30c (patch)
tree5664af5a774e17766551dbdfc8694b09b8e99805 /backends/smt2
parent66910e15b23856a132e9fce5b97ef660327086eb (diff)
Removed debug code from write_smt2
Diffstat (limited to 'backends/smt2')
-rw-r--r--backends/smt2/smt2.cc2
1 files changed, 0 insertions, 2 deletions
diff --git a/backends/smt2/smt2.cc b/backends/smt2/smt2.cc
index af3d0ad3..b485b4eb 100644
--- a/backends/smt2/smt2.cc
+++ b/backends/smt2/smt2.cc
@@ -440,8 +440,6 @@ struct Smt2Worker
decls.push_back(stringf("(declare-fun |%s#%d#0| (|%s_s|) (Array (_ BitVec %d) (_ BitVec %d))) ; %s\n",
log_id(module), arrayid, log_id(module), abits, width, log_id(cell)));
- log_cell(cell);
-
for (int i = 0; i < rd_ports; i++)
{
std::string addr = get_bv(cell->getPort("\\RD_ADDR").extract(abits*i, abits));