Update verific API version check
authorMiodrag Milanovic <mmicko@gmail.com>
Tue, 30 Jun 2020 10:13:13 +0000 (12:13 +0200)
committerMiodrag Milanovic <mmicko@gmail.com>
Tue, 30 Jun 2020 10:13:13 +0000 (12:13 +0200)
commit561890c4e85932b89cb1043a0767dcec6da5993c
treeedb3194729677277e3b3d761474a8c78b4ff9ae0
parentf7fdd99e45de5330b8f0cbb183c7b6e2ccc274b7
Update verific API version check
frontends/verific/verific.cc