Merge pull request #2010 from YosysHQ/claire/fixopt
authorClaire Wolf <clifford@clifford.at>
Sat, 2 May 2020 09:20:02 +0000 (11:20 +0200)
committerGitHub <noreply@github.com>
Sat, 2 May 2020 09:20:02 +0000 (11:20 +0200)
commitca3fc3c882b9a454c48bee7d701fa5cb254ae671
tree3650eb235d6bb48b4bd0ac395d806074225ae0c5
parentbbde2419420a86635baf2b730ebe58ed6edca5bb
parent7f9ecddb7f868a083ace6c82f97d80c2dd72dd29
Merge pull request #2010 from YosysHQ/claire/fixopt

Fix "opt_expr -fine" bug introduced in 213a89558