Also fix write_aiger for UB
authorEddie Hung <eddie@fpgeh.com>
Fri, 28 Jun 2019 16:55:07 +0000 (09:55 -0700)
committerEddie Hung <eddie@fpgeh.com>
Fri, 28 Jun 2019 16:55:07 +0000 (09:55 -0700)
commit524af2131741ae2c74a810cab3b925d5ce950e6e
treeed141f91b270d61ee3f482441aae23814c97e2d1
parent36e2eb06bb63714d852b758062471222022930c3
Also fix write_aiger for UB
backends/aiger/aiger.cc