Removed debug code from write_smt2

diff --git a/backends/smt2/smt2.cc b/backends/smt2/smt2.cc
index af3d0ad320b11127e01a77ba9ac856d365b2ada3..b485b4ebea50e77a83b4797c00df93d469a33b19 100644 (file)
--- 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));