diff options
Diffstat (limited to 'src/parser/smt2/smt2_input.cpp')
| -rw-r--r-- | src/parser/smt2/smt2_input.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/parser/smt2/smt2_input.cpp b/src/parser/smt2/smt2_input.cpp index 7aa4c3441..03f819a5d 100644 --- a/src/parser/smt2/smt2_input.cpp +++ b/src/parser/smt2/smt2_input.cpp @@ -67,7 +67,8 @@ Smt2Input::~Smt2Input() { void Smt2Input::setLanguage(InputLanguage lang) { CheckArgument(lang == language::input::LANG_SMTLIB_V2_0 || - lang == language::input::LANG_SMTLIB_V2_5, lang); + lang == language::input::LANG_SMTLIB_V2_5 || + lang == language::input::LANG_SMTLIB_V2_6, lang); d_lang = lang; } |