tree 530d82f073ee9c4858f666b91e7bf2a7a9fca3bb
parent 81876a3734dacde199446343ce338b24e9b2796f
author Clifford Wolf <clifford@clifford.at> 1572873913 +0100
committer Clifford Wolf <clifford@clifford.at> 1572873913 +0100

Fix write_aiger bug added in 524af21

Signed-off-by: Clifford Wolf <clifford@clifford.at>