Fix quickstart demo to work with verific
authorClifford Wolf <clifford@clifford.at>
Tue, 18 Jun 2019 08:30:04 +0000 (10:30 +0200)
committerClifford Wolf <clifford@clifford.at>
Tue, 18 Jun 2019 08:30:04 +0000 (10:30 +0200)
commit59f4f29fdccf18c4b51ce055182dde00f88087bc
tree612337bf979c3a80ee00650d0a670b691291bc35
parent1402969a964c19c324f6c7f77c3e61785e1dcaac
Fix quickstart demo to work with verific

Signed-off-by: Clifford Wolf <clifford@clifford.at>
docs/examples/quickstart/demo.sv