Merge pull request #932 from YosysHQ/eddie/fixdlatch
authorClifford Wolf <clifford@clifford.at>
Fri, 12 Apr 2019 12:57:01 +0000 (14:57 +0200)
committerGitHub <noreply@github.com>
Fri, 12 Apr 2019 12:57:01 +0000 (14:57 +0200)
Recognise default entry in case even if all cases covered (fix for #931)


Trivial merge