Merge pull request #1983 from YosysHQ/eddie/use_default_param
authorEddie Hung <eddie@fpgeh.com>
Wed, 22 Apr 2020 21:37:27 +0000 (14:37 -0700)
committerGitHub <noreply@github.com>
Wed, 22 Apr 2020 21:37:27 +0000 (14:37 -0700)
Cleanup use of hard-coded default parameters in light of #1945


Trivial merge