diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-02-08 15:19:36 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-02-08 15:19:36 -0800 |
commit | 6a4fc643283549556ae3f9c93ead7bbc3066f0fc (patch) | |
tree | 153a1e20050cd0b5177a7b287c9d7328c3ec4c9b /src/parser/antlr_line_buffered_input.cpp | |
parent | 2d42e02067084617b3efb06a80c2c8003f8797c3 (diff) |
Clean up bv utils (part one). (#1580)
This is part one of an effort to clean up bv utils. It addresses review comments not addressed in
#1566 (changes of moved code), removes unused functions and moves a helper to compute the
gcd over Index.
Diffstat (limited to 'src/parser/antlr_line_buffered_input.cpp')
0 files changed, 0 insertions, 0 deletions