Remove unnecessary std::getline() for ASCII
authorEddie Hung <eddie@fpgeh.com>
Fri, 7 Jun 2019 18:28:25 +0000 (11:28 -0700)
committerEddie Hung <eddie@fpgeh.com>
Fri, 7 Jun 2019 18:28:25 +0000 (11:28 -0700)
commitd00ae1d6a8c0a1e147599ee27f6a4ea68f43267e
tree5d69cd6ec5701036caf0cd4e7f5227028d6b3df2
parent65924fd12f48b4ec5a4d51efeea977992d033ecf
Remove unnecessary std::getline() for ASCII
frontends/aiger/aigerparse.cc