No need to alocate more memory than used
authorMiodrag Milanovic <mmicko@gmail.com>
Wed, 10 Nov 2021 09:50:44 +0000 (10:50 +0100)
committerMiodrag Milanovic <mmicko@gmail.com>
Wed, 10 Nov 2021 09:50:44 +0000 (10:50 +0100)
commit15a35f5584977605e685d2a92126a337a474ae89
treeb268c1d3d69e44b0ce9e1dfbccf96b687a7c640e
parent224c6f8664dc97e525b1028db9085091bfd31cd5
No need to alocate more memory than used
frontends/verific/verific.cc