From bdc316db50cd8b68ef096386a89c1b38793784e1 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Fri, 14 Oct 2016 15:24:03 +0200 Subject: Added $anyseq cell type --- kernel/celltypes.h | 1 + 1 file changed, 1 insertion(+) (limited to 'kernel/celltypes.h') diff --git a/kernel/celltypes.h b/kernel/celltypes.h index 8e3f86f69..f0ead1e89 100644 --- a/kernel/celltypes.h +++ b/kernel/celltypes.h @@ -118,6 +118,7 @@ struct CellTypes setup_type("$assume", {A, EN}, pool(), true); setup_type("$initstate", pool(), {Y}, true); setup_type("$anyconst", pool(), {Y}, true); + setup_type("$anyseq", pool(), {Y}, true); setup_type("$equiv", {A, B}, {Y}, true); } -- cgit v1.2.3