Fix variable name typo in verificsva.cc
authorClifford Wolf <clifford@clifford.at>
Sat, 10 Mar 2018 13:33:42 +0000 (14:33 +0100)
committerClifford Wolf <clifford@clifford.at>
Sat, 10 Mar 2018 13:33:42 +0000 (14:33 +0100)
commitce37b6d730a7c37803afc294d111cb8a45012c0d
tree61c42e1244dc00c4257f1d918175072e68d63749
parentda216937b1226d8dafc1aa33a19686eb694a15df
Fix variable name typo in verificsva.cc

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