Update required Verific version
authorMiodrag Milanović <mmicko@gmail.com>
Mon, 5 Oct 2020 11:27:27 +0000 (13:27 +0200)
committerGitHub <noreply@github.com>
Mon, 5 Oct 2020 11:27:27 +0000 (13:27 +0200)
commit1b7ed719a56896a582df5e6c2f904049cdcadc1f
tree65490155066497983e251ce2b4356bc02ebe26b8
parent5aa35b8992fab8b55c1c1fae793b4ad845fd4c4c
Update required Verific version
frontends/verific/verific.cc