Merge pull request #1486 from YosysHQ/clifford/fsmdetectfix
authorClifford Wolf <clifford@clifford.at>
Wed, 13 Nov 2019 11:34:27 +0000 (12:34 +0100)
committerGitHub <noreply@github.com>
Wed, 13 Nov 2019 11:34:27 +0000 (12:34 +0100)
Bugfix in fsm_detect


Trivial merge