From 93685a77c6846be3e8e28c041688f668d132c30c Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sun, 14 Jun 2015 16:22:06 +0200 Subject: [PATCH] Removed debug code from write_smt2 --- backends/smt2/smt2.cc | 2 -- 1 file changed, 2 deletions(-) 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)); -- 2.30.2