From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 14 Jun 2015 14:22:06 +0000 (+0200)
Subject: Removed debug code from write_smt2
X-Git-Tag: yosys-0.6~255
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=93685a77c6846be3e8e28c041688f668d132c30c;p=yosys.git

Removed debug code from write_smt2
---

diff --git a/backends/smt2/smt2.cc b/backends/smt2/smt2.cc
index af3d0ad32..b485b4ebe 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));