Use latest verific
authorMiodrag Milanovic <mmicko@gmail.com>
Wed, 2 Sep 2020 08:22:25 +0000 (10:22 +0200)
committerMiodrag Milanovic <mmicko@gmail.com>
Wed, 2 Sep 2020 08:22:25 +0000 (10:22 +0200)
commit3f27a4ea68a2f15e5f034af8de6c01ae1a2781d1
tree2febda581ba9e2dd1d307d53e980001290be5be8
parent463869bf4fb113082c8caec67b0c9bfd0094a66b
Use latest verific
frontends/verific/verific.cc