Clear last error message
authorMiodrag Milanovic <mmicko@gmail.com>
Wed, 29 Jul 2020 13:28:33 +0000 (15:28 +0200)
committerMiodrag Milanovic <mmicko@gmail.com>
Wed, 29 Jul 2020 13:28:33 +0000 (15:28 +0200)
commitcc02d58194fc6de11f625e670d23cdec814dc366
tree4b847887c7c4500d6ff0b59e1e06254c5351e5c0
parentdc18bf1969e3550a629ffa4722ad40758fc32535
Clear last error message
frontends/verific/verific.cc