diff options
-rw-r--r-- | src/parser/smt2/smt2.cpp | 3 | ||||
-rw-r--r-- | src/parser/smt2/smt2.h | 4 | ||||
-rw-r--r-- | src/parser/smt2/smt2_input.cpp | 5 |
3 files changed, 5 insertions, 7 deletions
diff --git a/src/parser/smt2/smt2.cpp b/src/parser/smt2/smt2.cpp index 4e45df440..cdb799864 100644 --- a/src/parser/smt2/smt2.cpp +++ b/src/parser/smt2/smt2.cpp @@ -1246,7 +1246,8 @@ const void Smt2::addSygusFunSymbol( Type t, Expr synth_fun ){ preemptCommand(cattr); } -InputLanguage Smt2::getLanguage() const { +InputLanguage Smt2::getLanguage() const +{ ExprManager* em = getExprManager(); return em->getOptions().getInputLanguage(); } diff --git a/src/parser/smt2/smt2.h b/src/parser/smt2/smt2.h index c4ebbc745..09f7a5696 100644 --- a/src/parser/smt2/smt2.h +++ b/src/parser/smt2/smt2.h @@ -171,9 +171,7 @@ public: { return language::isInputLang_smt2_6(getLanguage(), exact); } - bool sygus() const { - return getLanguage() == language::input::LANG_SYGUS; - } + bool sygus() const { return getLanguage() == language::input::LANG_SYGUS; } void setInfo(const std::string& flag, const SExpr& sexpr); diff --git a/src/parser/smt2/smt2_input.cpp b/src/parser/smt2/smt2_input.cpp index 0fdf2c784..e568fb362 100644 --- a/src/parser/smt2/smt2_input.cpp +++ b/src/parser/smt2/smt2_input.cpp @@ -34,9 +34,8 @@ namespace CVC4 { namespace parser { /* Use lookahead=2 */ -Smt2Input::Smt2Input(AntlrInputStream& inputStream) : - AntlrInput(inputStream, 2) { - +Smt2Input::Smt2Input(AntlrInputStream& inputStream) : AntlrInput(inputStream, 2) +{ pANTLR3_INPUT_STREAM input = inputStream.getAntlr3InputStream(); assert( input != NULL ); |