Rename label
authorEddie Hung <eddie@fpgeh.com>
Wed, 22 May 2019 01:20:31 +0000 (18:20 -0700)
committerEddie Hung <eddie@fpgeh.com>
Wed, 22 May 2019 01:20:31 +0000 (18:20 -0700)
commit705775342774cff735ba13d2c3216680ae98b7a0
tree9d8e71ac765fe18a1ac2c07a8daff50bc0cb24d2
parentb5a29460b9328fe86739039b05daaf70355502fa
Rename label
frontends/aiger/aigerparse.cc