Merge pull request #1419 from YosysHQ/eddie/lazy_derive
authorClifford Wolf <clifford@clifford.at>
Thu, 3 Oct 2019 10:06:12 +0000 (12:06 +0200)
committerGitHub <noreply@github.com>
Thu, 3 Oct 2019 10:06:12 +0000 (12:06 +0200)
module->derive() to be lazy and not touch ast if already derived


Trivial merge