diff options
Diffstat (limited to 'backends/btor/btor.cc')
| -rw-r--r-- | backends/btor/btor.cc | 2 |
1 files changed, 1 insertions, 1 deletions
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"); |