Merge pull request #1238 from mmicko/vsbuild_fix
authorClifford Wolf <clifford@clifford.at>
Fri, 2 Aug 2019 15:07:39 +0000 (17:07 +0200)
committerGitHub <noreply@github.com>
Fri, 2 Aug 2019 15:07:39 +0000 (17:07 +0200)
Visual Studio build fix

1  2 
backends/aiger/xaiger.cc

Simple merge