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;
       }
     }