Merge pull request #1972 from YosysHQ/eddie/bug1970
authorEddie Hung <eddie@fpgeh.com>
Mon, 20 Apr 2020 18:39:13 +0000 (11:39 -0700)
committerGitHub <noreply@github.com>
Mon, 20 Apr 2020 18:39:13 +0000 (11:39 -0700)
 abc9_ops: -prep_lut to be more robust


Trivial merge