Merge pull request #1743 from YosysHQ/eddie/abc9_keep
authorEddie Hung <eddie@fpgeh.com>
Wed, 11 Mar 2020 13:32:15 +0000 (06:32 -0700)
committerGitHub <noreply@github.com>
Wed, 11 Mar 2020 13:32:15 +0000 (06:32 -0700)
abc9: improve (* keep *) handling


Trivial merge