Merge pull request #917 from YosysHQ/eddie/fix_retime
authorEddie Hung <eddieh@ece.ubc.ca>
Thu, 18 Apr 2019 17:56:41 +0000 (10:56 -0700)
committerGitHub <noreply@github.com>
Thu, 18 Apr 2019 17:56:41 +0000 (10:56 -0700)
Retime by default when abc -dff


Trivial merge