read_aiger: also rename "$0"
authorEddie Hung <eddie@fpgeh.com>
Tue, 14 Jan 2020 17:01:53 +0000 (09:01 -0800)
committerEddie Hung <eddie@fpgeh.com>
Tue, 14 Jan 2020 17:01:53 +0000 (09:01 -0800)
commitf63f76c372e8003f60565ee109d38ae1797d7e89
tree02949f4f8f2f3901e5df2e427c46760664027478
parentee95fa959acc3a796836c9df970d6739d6cf0ade
read_aiger: also rename "$0"
frontends/aiger/aigerparse.cc