Fix Verific handling of single-bit anyseq/anyconst wires
authorClifford Wolf <clifford@clifford.at>
Fri, 25 May 2018 13:41:45 +0000 (15:41 +0200)
committerClifford Wolf <clifford@clifford.at>
Fri, 25 May 2018 13:41:45 +0000 (15:41 +0200)
commit001c9f1d45749535452d082a7c92a17954b603b8
treef2563fa5e64499913800699825af4b66d1573e66
parent251562a4918576bd485bcdcc908c0ac780689a77
Fix Verific handling of single-bit anyseq/anyconst wires

Signed-off-by: Clifford Wolf <clifford@clifford.at>
frontends/verific/verific.cc