From 48d03da729c615114eae0e10d579ab5a58adec81 Mon Sep 17 00:00:00 2001 From: Tim King Date: Thu, 8 Feb 2018 16:12:07 -0800 Subject: Inlining line_buffered_input to avoid warning about unused variables in production builds. (#1584) --- src/parser/antlr_line_buffered_input.cpp | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'src/parser/antlr_line_buffered_input.cpp') 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); -- cgit v1.2.3