Merge pull request #1147 from YosysHQ/clifford/fix1144
authorClifford Wolf <clifford@clifford.at>
Wed, 3 Jul 2019 10:30:37 +0000 (12:30 +0200)
committerGitHub <noreply@github.com>
Wed, 3 Jul 2019 10:30:37 +0000 (12:30 +0200)
Improve specify dummy parser


Trivial merge