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

---
 examples/smtbmc/demo7.v | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'examples')

diff --git a/examples/smtbmc/demo7.v b/examples/smtbmc/demo7.v
index 75b3865c5..63f6272f1 100644
--- a/examples/smtbmc/demo7.v
+++ b/examples/smtbmc/demo7.v
@@ -1,6 +1,7 @@
 // Demo for memory initialization
 
-module demo7 (input [2:0] addr);
+module demo7;
+	wire [2:0] addr = $anyseq;
 	reg [15:0] memory [0:7];
 
 	initial begin
-- 
cgit v1.2.3