Merge branch 'clifford/dffsrfix' of https://github.com/YosysHQ/yosys into xaig
authorEddie Hung <eddieh@ece.ubc.ca>
Thu, 21 Feb 2019 17:31:17 +0000 (09:31 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Thu, 21 Feb 2019 17:31:17 +0000 (09:31 -0800)

Trivial merge