From 33513d923a398a955c1c7e5f534e3099f3940154 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Marcelina=20Ko=C5=9Bcielnicka?= Date: Sun, 23 May 2021 18:08:34 +0200 Subject: [PATCH] btor: Use is_mem_cell in one more place. --- backends/btor/btor.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc index 936cb20fb..bc0504d64 100644 --- a/backends/btor/btor.cc +++ b/backends/btor/btor.cc @@ -1083,7 +1083,7 @@ struct BtorWorker for (auto &mem : memories) mem_dict[mem.memid] = &mem; for (auto cell : module->cells()) - if (cell->type.in(ID($mem), ID($memwr), ID($memrd), ID($meminit))) + if (cell->is_mem_cell()) mem_cells[cell] = mem_dict[cell->parameters.at(ID::MEMID).decode_string()]; btorf_push("inputs"); -- 2.30.2