Fix quickstart demo to work with verific

Signed-off-by: Clifford Wolf <clifford@clifford.at>

diff --git a/docs/examples/quickstart/demo.sv b/docs/examples/quickstart/demo.sv
index e5e742f5df03c492908e1b2fcc0c57833f6f1e2c..fea915bff55e5fd208cb2293503d6596482fde0f 100644 (file)
--- a/docs/examples/quickstart/demo.sv
+++ b/docs/examples/quickstart/demo.sv
@@ -1,8 +1,8 @@
 module demo (
   input clk,
-  output [5:0] counter
+  output reg [5:0] counter
 );
-  reg [5:0] counter = 0;
+  initial counter = 0;
 
   always @(posedge clk) begin
     if (counter == 15)