diff options
Diffstat (limited to 'src/parser/smt2/smt2.cpp')
-rw-r--r-- | src/parser/smt2/smt2.cpp | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/parser/smt2/smt2.cpp b/src/parser/smt2/smt2.cpp index 90fc11803..a46eae475 100644 --- a/src/parser/smt2/smt2.cpp +++ b/src/parser/smt2/smt2.cpp @@ -167,16 +167,14 @@ void Smt2::addFloatingPointOperators() { } void Smt2::addSepOperators() { - //addOperator(kind::SEP_NIL, "sep.nil"); addOperator(kind::SEP_STAR, "sep"); addOperator(kind::SEP_PTO, "pto"); addOperator(kind::SEP_WAND, "wand"); - addOperator(kind::EMP_STAR, "emp"); - //Parser::addOperator(kind::SEP_NIL); + addOperator(kind::SEP_EMP, "emp"); Parser::addOperator(kind::SEP_STAR); Parser::addOperator(kind::SEP_PTO); Parser::addOperator(kind::SEP_WAND); - Parser::addOperator(kind::EMP_STAR); + Parser::addOperator(kind::SEP_EMP); } void Smt2::addTheory(Theory theory) { |