diff options
Diffstat (limited to 'src/theory/bags/kinds')
| -rw-r--r-- | src/theory/bags/kinds | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/bags/kinds b/src/theory/bags/kinds index cd53484eb..dd8eacfb5 100644 --- a/src/theory/bags/kinds +++ b/src/theory/bags/kinds @@ -12,7 +12,7 @@ rewriter ::CVC5::theory::bags::BagsRewriter \ "theory/bags/bags_rewriter.h" properties parametric -properties check propagate presolve +properties check presolve # constants constant EMPTYBAG \ @@ -90,4 +90,4 @@ typerule BAG_TO_SET ::CVC5::theory::bags::ToSetTypeRule construle UNION_DISJOINT ::CVC5::theory::bags::BinaryOperatorTypeRule construle MK_BAG ::CVC5::theory::bags::MkBagTypeRule -endtheory
\ No newline at end of file +endtheory |