Merge pull request #939 from YosysHQ/revert895
authorEddie Hung <eddieh@ece.ubc.ca>
Tue, 16 Apr 2019 18:59:21 +0000 (11:59 -0700)
committerGitHub <noreply@github.com>
Tue, 16 Apr 2019 18:59:21 +0000 (11:59 -0700)
Revert #895 (mux-to-shiftx optimisation)


Trivial merge