1 files changed, 1 insertions, 0 deletions
diff --git a/src/theory/theory.h b/src/theory/theory.h
index 36255d1d6..020a2b194 100644
--- a/src/theory/theory.h
+++ b/src/theory/theory.h
@@ -447,6 +447,7 @@ public:
    * the actual computation, and use addCarePair to add pairs to the care graph.
    */
   void getCareGraph(CareGraph& careGraph) {
+    Trace("sharing") << "Theory<" << getId() << ">::getCareGraph()" << std::endl;
     TimerStat::CodeTimer computeCareGraphTime(d_computeCareGraphTime);
     d_careGraph = &careGraph;
     computeCareGraph();