diff options
Diffstat (limited to 'src/theory/bags/theory_bags.h')
| -rw-r--r-- | src/theory/bags/theory_bags.h | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/src/theory/bags/theory_bags.h b/src/theory/bags/theory_bags.h index 4ed131e64..671623d05 100644 --- a/src/theory/bags/theory_bags.h +++ b/src/theory/bags/theory_bags.h @@ -36,12 +36,7 @@ class TheoryBags : public Theory { public: /** Constructs a new instance of TheoryBags w.r.t. the provided contexts. */ - TheoryBags(context::Context* c, - context::UserContext* u, - OutputChannel& out, - Valuation valuation, - const LogicInfo& logicInfo, - ProofNodeManager* pnm); + TheoryBags(Env& env, OutputChannel& out, Valuation valuation); ~TheoryBags() override; //--------------------------------- initialization |