Merge pull request #1432 from YosysHQ/eddie/fix1427
authorEddie Hung <eddie@fpgeh.com>
Tue, 8 Oct 2019 19:38:29 +0000 (12:38 -0700)
committerGitHub <noreply@github.com>
Tue, 8 Oct 2019 19:38:29 +0000 (12:38 -0700)
Refactor peepopt_dffmux and be sensitive to \init when trimming


Trivial merge