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)
commit48bc203653f10e0081f646f03c20f598f7420855
tree805b7ddc2ec354f091aa66d44e50c49be32f74f2
parent0deaccbaae436bc94ad5b2913fa39a9368c09ace
parent7685469ee2f7bc038c4fd6fe98f93eb08d6fac7c
Merge pull request #932 from YosysHQ/eddie/fixdlatch

Recognise default entry in case even if all cases covered (fix for #931)