Merge pull request #1585 from YosysHQ/eddie/fix_abc9_lut
authorEddie Hung <eddie@fpgeh.com>
Fri, 20 Dec 2019 21:09:00 +0000 (13:09 -0800)
committerGitHub <noreply@github.com>
Fri, 20 Dec 2019 21:09:00 +0000 (13:09 -0800)
Interpret "abc9 -lut" as lut string only if [0-9:]


Trivial merge