diff options
Diffstat (limited to 'src/theory/combination_care_graph.cpp')
-rw-r--r-- | src/theory/combination_care_graph.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/theory/combination_care_graph.cpp b/src/theory/combination_care_graph.cpp index 4a6a1f150..fa020e96b 100644 --- a/src/theory/combination_care_graph.cpp +++ b/src/theory/combination_care_graph.cpp @@ -26,9 +26,10 @@ namespace theory { CombinationCareGraph::CombinationCareGraph( TheoryEngine& te, + Env& env, const std::vector<Theory*>& paraTheories, ProofNodeManager* pnm) - : CombinationEngine(te, paraTheories, pnm) + : CombinationEngine(te, env, paraTheories, pnm) { } |