btor: Use is_mem_cell in one more place.

diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc
index 936cb20fb63e519c35d88dfdb8b64e86eed2274d..bc0504d6479d4b6ddcba10b65f9b14cbb7ba98f5 100644 (file)
--- 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");