Fix warning
authorEddie Hung <eddie@fpgeh.com>
Tue, 21 May 2019 23:26:20 +0000 (16:26 -0700)
committerEddie Hung <eddie@fpgeh.com>
Tue, 21 May 2019 23:26:20 +0000 (16:26 -0700)
commit1bff09f2ff137c5fe35199bd0f77ce7506c3bfb5
treef50251e640ee5fa5d0e070c47717cf116c844436
parentc907899422884d959632ed42c6589a0720b681e4
Fix warning
frontends/aiger/aigerparse.cc