diff options
Diffstat (limited to 'src/parser/smt2')
-rw-r--r-- | src/parser/smt2/smt2.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser/smt2/smt2.cpp b/src/parser/smt2/smt2.cpp index f069a486f..36703fd6d 100644 --- a/src/parser/smt2/smt2.cpp +++ b/src/parser/smt2/smt2.cpp @@ -642,7 +642,7 @@ Command* Smt2::setLogic(std::string name, bool fromCommand) addOperator(api::INTERSECTION_MIN, "intersection_min"); addOperator(api::DIFFERENCE_SUBTRACT, "difference_subtract"); addOperator(api::DIFFERENCE_REMOVE, "difference_remove"); - addOperator(api::SUBBAG, "bag.is_included"); + addOperator(api::SUBBAG, "subbag"); addOperator(api::BAG_COUNT, "bag.count"); addOperator(api::DUPLICATE_REMOVAL, "duplicate_removal"); addOperator(api::MK_BAG, "bag"); |