Fix crash in verific frontend
authorMiodrag Milanovic <mmicko@gmail.com>
Fri, 26 Jun 2020 18:11:01 +0000 (20:11 +0200)
committerMiodrag Milanovic <mmicko@gmail.com>
Fri, 26 Jun 2020 18:11:01 +0000 (20:11 +0200)
commitb822beb1b2e667459f4864b759b7f4d82a064354
tree54b5c358abec1318e92ef41f43912158f6c48c6a
parent3840cfc016cb3b7f408b4b56c30911089218e6a8
Fix crash in verific frontend
frontends/verific/verific.cc