Revert "use new verific extensions library"
authorMiodrag Milanovic <mmicko@gmail.com>
Tue, 21 Jun 2022 16:06:16 +0000 (18:06 +0200)
committerMiodrag Milanovic <mmicko@gmail.com>
Tue, 21 Jun 2022 16:07:47 +0000 (18:07 +0200)
commit1fdbb42fdd51aa940e4331cdf5b4d1ff56738658
treea288871facc3921989dfc71cb53b856c0fc359ce
parenta30b38910cc49303e4fa3d3c0d7f65647a751cfa
Revert "use new verific extensions library"

This reverts commit 607e957657fc56625de5c28ea9cd43c859017d96.
frontends/verific/verific.cc