read_aiger: new naming fixes
authorEddie Hung <eddieh@ece.ubc.ca>
Wed, 20 Feb 2019 20:39:51 +0000 (12:39 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Wed, 20 Feb 2019 20:39:51 +0000 (12:39 -0800)
commitf9702a8abef5a9df94dfbfe16f2aa686c08c6b00
treeb3b08f84ecebce6a4876ffd40a8351471294992d
parent83b66861e9c669f643e096030d0b165ca45ab38c
read_aiger: new naming fixes
frontends/aiger/aigerparse.cc