Merge branch 'opt_compare_pr' of https://github.com/C-Elegans/yosys into C-Elegans...
authorClifford Wolf <clifford@clifford.at>
Tue, 31 Jan 2017 14:54:41 +0000 (15:54 +0100)
committerClifford Wolf <clifford@clifford.at>
Tue, 31 Jan 2017 14:54:41 +0000 (15:54 +0100)

Trivial merge