Cleanup $currQ from aigerparse
authorEddie Hung <eddie@fpgeh.com>
Mon, 30 Sep 2019 23:36:42 +0000 (16:36 -0700)
committerEddie Hung <eddie@fpgeh.com>
Mon, 30 Sep 2019 23:36:42 +0000 (16:36 -0700)
commitf9bb3352944275acc6e82eaf53aebf3c964f68c4
treeabcc9bbce80423c97d2430327aebf2ff5b26e797
parente529872b0170ba269db2d00c96108c86b260e864
Cleanup $currQ from aigerparse
frontends/aiger/aigerparse.cc