diff options
author | Abdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com> | 2020-03-21 22:33:15 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-21 22:33:15 -0500 |
commit | 37107284adaad3d24da0ad15cac8c88af444aeef (patch) | |
tree | d98c5a6bf3608a50e828b129d8d8c45b2c49fc58 /src | |
parent | a507aa5f1904055782e1ba01083faf1fd0fb86f7 (diff) |
Convert V1 Sygus files to V2. (#4136)
Diffstat (limited to 'src')
-rw-r--r-- | src/parser/smt2/smt2.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/parser/smt2/smt2.cpp b/src/parser/smt2/smt2.cpp index c7c30005c..81ddae6d6 100644 --- a/src/parser/smt2/smt2.cpp +++ b/src/parser/smt2/smt2.cpp @@ -680,7 +680,8 @@ Command* Smt2::setLogic(std::string name, bool fromCommand) defineType("RegLan", d_solver->getRegExpSort()); defineType("Int", d_solver->getIntegerSort()); - if (getLanguage() == language::input::LANG_SMTLIB_V2_6_1) + if (getLanguage() == language::input::LANG_SMTLIB_V2_6_1 + || getLanguage() == language::input::LANG_SYGUS_V2) { defineVar("re.none", d_solver->mkRegexpEmpty()); } |