Merge pull request #2119 from YosysHQ/mwk/fix-fsm-idstring
authorclairexen <claire@symbioticeda.com>
Mon, 8 Jun 2020 13:18:32 +0000 (15:18 +0200)
committerGitHub <noreply@github.com>
Mon, 8 Jun 2020 13:18:32 +0000 (15:18 +0200)
fsm_extract: avoid calling log_signal to determine wire name


Trivial merge