diff options
Diffstat (limited to 'src/theory/theory.cpp')
-rw-r--r-- | src/theory/theory.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/theory.cpp b/src/theory/theory.cpp index 0404bda3b..6460533e2 100644 --- a/src/theory/theory.cpp +++ b/src/theory/theory.cpp @@ -49,7 +49,7 @@ void Theory::addSharedTermInternal(TNode n) { addSharedTerm(n); } -void Theory::computeCareGraph(CareGraph& careGraph) { +void Theory::computeCareGraph() { Debug("sharing") << "Theory::computeCareGraph<" << getId() << ">()" << std::endl; for (unsigned i = 0; i < d_sharedTerms.size(); ++ i) { TNode a = d_sharedTerms[i]; @@ -67,7 +67,7 @@ void Theory::computeCareGraph(CareGraph& careGraph) { break; default: // Let's split on it - careGraph.push_back(CarePair(a, b, getId())); + addCarePair(a, b); break; } } |