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 8093448a0..cdbef58de 100644 --- a/src/theory/bags/kinds +++ b/src/theory/bags/kinds @@ -8,8 +8,8 @@ theory THEORY_BAGS \ ::CVC4::theory::bags::TheoryBags \ "theory/bags/theory_bags.h" typechecker "theory/bags/theory_bags_type_rules.h" -rewriter ::CVC4::theory::bags::TheoryBagsRewriter \ - "theory/bags/theory_bags_rewriter.h" +rewriter ::CVC4::theory::bags::BagsRewriter \ + "theory/bags/bags_rewriter.h" properties parametric properties check propagate presolve |