Merge pull request #1299 from YosysHQ/eddie/cleanup2
authorClifford Wolf <clifford@clifford.at>
Thu, 15 Aug 2019 20:56:32 +0000 (22:56 +0200)
committerGitHub <noreply@github.com>
Thu, 15 Aug 2019 20:56:32 +0000 (22:56 +0200)
More cleanup, more use of ID() inside passes/techmap


Trivial merge