Update verific version
authorMiodrag Milanovic <mmicko@gmail.com>
Fri, 30 Oct 2020 07:32:59 +0000 (08:32 +0100)
committerMiodrag Milanovic <mmicko@gmail.com>
Fri, 30 Oct 2020 07:32:59 +0000 (08:32 +0100)
commitc228cb74d613ea37a54e12df96e97a142124ddab
treea6485149d47f296af63dd10dbf20d7e083425868
parente2a39bb1e71b97d423a3c2233abce996376e25dd
Update verific version
frontends/verific/verific.cc