removed deprecated features code
authorMiodrag Milanovic <mmicko@gmail.com>
Mon, 13 Jun 2022 08:50:12 +0000 (10:50 +0200)
committerMiodrag Milanovic <mmicko@gmail.com>
Mon, 13 Jun 2022 08:50:24 +0000 (10:50 +0200)
commitddc8044655cf19878f02db13bd48fc5731989544
treea41c1095ebcc1f802e72652c8549737c46fd6310
parentb15a46c2c0bf79445d3f0ba0ec80303080d33cfe
removed deprecated features code
frontends/verific/verific.cc