Update comment about supported SVA in verificsva.cc
authorClifford Wolf <clifford@clifford.at>
Tue, 6 Mar 2018 14:47:33 +0000 (15:47 +0100)
committerClifford Wolf <clifford@clifford.at>
Tue, 6 Mar 2018 14:47:33 +0000 (15:47 +0100)
commitdcc4a18d5a4a4827704b81400c8f479da5ecc349
tree5bbabb5afabd113fef35c551fb8d01ba1cebb233
parent03b49654b1573dfea94f589d24415bf256150165
Update comment about supported SVA in verificsva.cc

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