From: Marcelina Kościelnicka <mwk@0x04.net>
Date: Sun, 23 May 2021 16:08:34 +0000 (+0200)
Subject: btor: Use is_mem_cell in one more place.
X-Git-Tag: yosys-0.10~192
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=33513d923a398a955c1c7e5f534e3099f3940154;p=yosys.git

btor: Use is_mem_cell in one more place.
---

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");