Merge pull request #818 from YosysHQ/clifford/dffsrfix
authorClifford Wolf <clifford@clifford.at>
Thu, 21 Feb 2019 17:58:44 +0000 (18:58 +0100)
committerGitHub <noreply@github.com>
Thu, 21 Feb 2019 17:58:44 +0000 (18:58 +0100)
Fix opt_rmdff handling of $_DFFSR_???_ and $_DLATCHSR_???_, fixes #816


Trivial merge