diff options
| author | Marcelina Kościelnicka <mwk@0x04.net> | 2021-05-23 18:08:34 +0200 |
|---|---|---|
| committer | Marcelina Kościelnicka <mwk@0x04.net> | 2021-05-23 20:34:52 +0200 |
| commit | 33513d923a398a955c1c7e5f534e3099f3940154 (patch) | |
| tree | fc7c96a36312778fde7eff9e10feaf4260c58f5a /backends | |
| parent | d905990d0194decb9f673ccf10aa488820816b87 (diff) | |
| download | yosys-33513d923a398a955c1c7e5f534e3099f3940154.tar.gz yosys-33513d923a398a955c1c7e5f534e3099f3940154.tar.bz2 yosys-33513d923a398a955c1c7e5f534e3099f3940154.zip | |
btor: Use is_mem_cell in one more place.
Diffstat (limited to 'backends')
| -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"); |