Update verific.cc
authorClaire Xen <claire@clairexen.net>
Fri, 10 Dec 2021 13:27:18 +0000 (14:27 +0100)
committerGitHub <noreply@github.com>
Fri, 10 Dec 2021 13:27:18 +0000 (14:27 +0100)
commit19773d093fe6f9cf8b3f603f6594112550bac301
tree6db0165b097a9d7914578604f0dfce17701c182d
parentb06f547993818224ded59c555345140199f4595f
Update verific.cc

Ad-hoc fixes/improvements
frontends/verific/verific.cc