diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-06-04 19:19:47 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-06-04 19:19:47 +0000 |
| commit | cdfcddfb4afe401ea5be1214fda5020a6b59ae5d (patch) | |
| tree | eb0d84bba5418c8a2c026f7c19ece449f63ce67e /src/parser/smt2/smt2.cpp | |
| parent | da3ee4d4c22c36a8978c2003af944c46fc5ad074 (diff) | |
Adding QF_SAT to SMT parsers
Diffstat (limited to 'src/parser/smt2/smt2.cpp')
| -rw-r--r-- | src/parser/smt2/smt2.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/parser/smt2/smt2.cpp b/src/parser/smt2/smt2.cpp index 2776bff7e..871262b43 100644 --- a/src/parser/smt2/smt2.cpp +++ b/src/parser/smt2/smt2.cpp @@ -101,6 +101,10 @@ void Smt2::setLogic(const std::string& name) { addTheory(THEORY_CORE); switch(d_logic) { + case Smt::QF_SAT: + /* No extra symbols necessary */ + break; + case Smt::QF_IDL: case Smt::QF_LIA: case Smt::QF_NIA: |