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)
commit0917a5cf720e76a85cd2fa4d8cd3cf9434bdee8f
treeef3996aa224f8074799a4b2667315e77f2df9248
parentf4ae6afc2282bcefac51b65e3905293cb19adc72
parent35d28de47892d7905d8b37538a581950d4eb54c7
Merge pull request #1238 from mmicko/vsbuild_fix

Visual Studio build fix
backends/aiger/xaiger.cc