Use split_tokens()
authorEddie Hung <eddie@fpgeh.com>
Thu, 11 Jul 2019 00:34:51 +0000 (17:34 -0700)
committerEddie Hung <eddie@fpgeh.com>
Thu, 11 Jul 2019 00:34:51 +0000 (17:34 -0700)
commita092c48f036b71cc4014ec6f2865297d49589d40
tree6749d0213455a8702a46ec82369e2a5f6339825f
parent3bb48facb21032eb49ca40150827358e2d35a9c8
Use split_tokens()
backends/aiger/xaiger.cc
frontends/aiger/aigerparse.cc