Fix write_aiger bug added in 524af21
authorClifford Wolf <clifford@clifford.at>
Mon, 4 Nov 2019 13:25:13 +0000 (14:25 +0100)
committerClifford Wolf <clifford@clifford.at>
Mon, 4 Nov 2019 13:25:13 +0000 (14:25 +0100)
commit5110a34dd74bc96c47d4aef47bc155110de2d87e
tree530d82f073ee9c4858f666b91e7bf2a7a9fca3bb
parent81876a3734dacde199446343ce338b24e9b2796f
Fix write_aiger bug added in 524af21

Signed-off-by: Clifford Wolf <clifford@clifford.at>
backends/aiger/aiger.cc