diff options
author | Tim King <taking@cs.nyu.edu> | 2018-02-08 16:12:07 -0800 |
---|---|---|
committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-02-08 16:12:07 -0800 |
commit | 48d03da729c615114eae0e10d579ab5a58adec81 (patch) | |
tree | 23fe04cbe071762eafb6f515131cc287da91cad3 /src/parser/antlr_line_buffered_input.cpp | |
parent | 6a4fc643283549556ae3f9c93ead7bbc3066f0fc (diff) |
Inlining line_buffered_input to avoid warning about unused variables in production builds. (#1584)
Diffstat (limited to 'src/parser/antlr_line_buffered_input.cpp')
-rw-r--r-- | src/parser/antlr_line_buffered_input.cpp | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/parser/antlr_line_buffered_input.cpp b/src/parser/antlr_line_buffered_input.cpp index e9e861e17..c5eb25dac 100644 --- a/src/parser/antlr_line_buffered_input.cpp +++ b/src/parser/antlr_line_buffered_input.cpp @@ -287,12 +287,11 @@ static void bufferedInputSeek(pANTLR3_INT_STREAM is, ANTLR3_MARKER seekPoint) { // rewinding in the original code, which we do not do when rewinding, // so this should be fine). pANTLR3_INPUT_STREAM input = ((pANTLR3_INPUT_STREAM)(is->super)); - pANTLR3_LINE_BUFFERED_INPUT_STREAM line_buffered_input = - (CVC4::parser::pANTLR3_LINE_BUFFERED_INPUT_STREAM)input; // Check that we are not seeking backwards. - assert(!line_buffered_input->line_buffer->isPtrBefore( - (uint8_t*)seekPoint, input->line, input->charPositionInLine)); + assert(!((CVC4::parser::pANTLR3_LINE_BUFFERED_INPUT_STREAM)input) + ->line_buffer->isPtrBefore( + (uint8_t*)seekPoint, input->line, input->charPositionInLine)); while ((ANTLR3_MARKER)(input->nextChar) != seekPoint) { is->consume(is); |