From 8d691eac8e478576ebceb6406a8e372db5e3f7f1 Mon Sep 17 00:00:00 2001 From: "Christopher L. Conway" Date: Wed, 12 May 2010 20:29:17 +0000 Subject: true and false are only defined if the core theory is loaded in SMT v2 strict mode --- src/parser/antlr_input.cpp | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'src/parser/antlr_input.cpp') diff --git a/src/parser/antlr_input.cpp b/src/parser/antlr_input.cpp index 11e3ed604..fc03a2903 100644 --- a/src/parser/antlr_input.cpp +++ b/src/parser/antlr_input.cpp @@ -204,14 +204,13 @@ void AntlrInput::setAntlr3Lexer(pANTLR3_LEXER pLexer) { d_lexer->rec->state->tokSource->nextToken = &nextTokenStr; } -void AntlrInput::setParser(Parser *parser) { +void AntlrInput::setParser(Parser& parser) { // ANTLR isn't using super in the lexer or the parser, AFAICT. // We could also use @lexer/parser::context to add a field to the generated // objects, but then it would have to be declared separately in every // language's grammar and we'd have to in the address of the field anyway. - d_lexer->super = parser; - d_parser->super = parser; - + d_lexer->super = &parser; + d_parser->super = &parser; } void AntlrInput::setAntlr3Parser(pANTLR3_PARSER pParser) { -- cgit v1.2.3