From bdc316db50cd8b68ef096386a89c1b38793784e1 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 14 Oct 2016 15:24:03 +0200
Subject: Added $anyseq cell type

---
 backends/smt2/smt2.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'backends/smt2')

diff --git a/backends/smt2/smt2.cc b/backends/smt2/smt2.cc
index 487f5befb..6bcd1f452 100644
--- a/backends/smt2/smt2.cc
+++ b/backends/smt2/smt2.cc
@@ -417,7 +417,7 @@ struct Smt2Worker
 				return;
 			}
 
-			if (cell->type == "$anyconst")
+			if (cell->type.in("$anyconst", "$anyseq"))
 			{
 				registers.insert(cell);
 				decls.push_back(stringf("; yosys-smt2-%s %s#%d %s\n", cell->type.c_str() + 1, get_id(module), idcounter,
-- 
cgit v1.2.3