diff options
Diffstat (limited to 'src/theory/fp/theory_fp.h')
-rw-r--r-- | src/theory/fp/theory_fp.h | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/src/theory/fp/theory_fp.h b/src/theory/fp/theory_fp.h index 14779cc3d..1e1041980 100644 --- a/src/theory/fp/theory_fp.h +++ b/src/theory/fp/theory_fp.h @@ -39,12 +39,7 @@ class TheoryFp : public Theory { public: /** Constructs a new instance of TheoryFp w.r.t. the provided contexts. */ - TheoryFp(context::Context* c, - context::UserContext* u, - OutputChannel& out, - Valuation valuation, - const LogicInfo& logicInfo, - ProofNodeManager* pnm = nullptr); + TheoryFp(Env& env, OutputChannel& out, Valuation valuation); //--------------------------------- initialization /** Get the official theory rewriter of this theory. */ |