Merge pull request #1624 from YosysHQ/eddie/abc9_leak
authorEddie Hung <eddie@fpgeh.com>
Fri, 10 Jan 2020 19:28:38 +0000 (11:28 -0800)
committerGitHub <noreply@github.com>
Fri, 10 Jan 2020 19:28:38 +0000 (11:28 -0800)
abc9: fix memory leak


Trivial merge