Merge pull request #1450 from YosysHQ/clifford/fixdffmux
authorClifford Wolf <clifford@clifford.at>
Wed, 16 Oct 2019 12:44:38 +0000 (14:44 +0200)
committerGitHub <noreply@github.com>
Wed, 16 Oct 2019 12:44:38 +0000 (14:44 +0200)
Fix handling of init attributes in peepopt dffmux pattern


Trivial merge