Merge pull request #2276 from YosysHQ/mwk/satgen-cc
authorclairexen <claire@symbioticeda.com>
Mon, 20 Jul 2020 13:23:14 +0000 (15:23 +0200)
committerGitHub <noreply@github.com>
Mon, 20 Jul 2020 13:23:14 +0000 (15:23 +0200)
satgen: Move importCell out of the header.


Trivial merge