From 376b087640581a935784cf7db4cf5f4ea2a34e05 Mon Sep 17 00:00:00 2001 From: Andres Noetzli Date: Tue, 29 May 2018 11:25:13 -0700 Subject: Make user's SMT2 version override file version (#2004) --- src/parser/smt2/smt2.h | 1 + 1 file changed, 1 insertion(+) (limited to 'src/parser') diff --git a/src/parser/smt2/smt2.h b/src/parser/smt2/smt2.h index 09f7a5696..3def5696b 100644 --- a/src/parser/smt2/smt2.h +++ b/src/parser/smt2/smt2.h @@ -171,6 +171,7 @@ public: { return language::isInputLang_smt2_6(getLanguage(), exact); } + bool sygus() const { return getLanguage() == language::input::LANG_SYGUS; } void setInfo(const std::string& flag, const SExpr& sexpr); -- cgit v1.2.3