Remove unneeded include
authorEddie Hung <eddie@fpgeh.com>
Thu, 27 Jun 2019 18:20:40 +0000 (11:20 -0700)
committerEddie Hung <eddie@fpgeh.com>
Thu, 27 Jun 2019 18:20:40 +0000 (11:20 -0700)
commit469f98b6bdd11696d4457f4bc4940d9a730e1f2b
tree8ae72ed460e43a784f376215dfbe50dd19479bac
parent6c256b8cda66e2ba128d5fa3ba344fe4717711f8
Remove unneeded include
frontends/aiger/aigerparse.cc