Merge pull request #942 from YosysHQ/clifford/fix931
authorClifford Wolf <clifford@clifford.at>
Sat, 20 Apr 2019 08:05:35 +0000 (10:05 +0200)
committerGitHub <noreply@github.com>
Sat, 20 Apr 2019 08:05:35 +0000 (10:05 +0200)
Improve proc full_case detection and handling


Trivial merge