Remove unncessary header
authorEddie Hung <eddie@fpgeh.com>
Tue, 18 Jun 2019 19:37:46 +0000 (12:37 -0700)
committerEddie Hung <eddie@fpgeh.com>
Tue, 18 Jun 2019 19:37:46 +0000 (12:37 -0700)
commit6a4025b5eef3ea96a8a7cdb0046cb2193cfa08e5
tree53bcbe90d66030b542c6cf50fe83ff9cf0c9e935
parentad9658ea5bff0dcf81568c706d6a890f63657c08
Remove unncessary header
frontends/aiger/aigerparse.cc