Merge pull request #1618 from YosysHQ/eddie/aiger_fixes
authorEddie Hung <eddie@fpgeh.com>
Tue, 7 Jan 2020 22:45:31 +0000 (14:45 -0800)
committerGitHub <noreply@github.com>
Tue, 7 Jan 2020 22:45:31 +0000 (14:45 -0800)
read_aiger fixes


Trivial merge