diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-06-07 07:11:24 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-06-07 07:11:24 +0000 |
commit | 49dd14da8d872403b4d772a2d49224e4d6bda227 (patch) | |
tree | 5abbd246c8a1bb797e97d4b9754a4f850e1dc1b5 /src/theory/theory.h | |
parent | 67903280f8fe6946a36ef9fc08bfc747f74bfbd7 (diff) |
fixing some bugs in propagation of disequalities
still doesnt fix the wrong answers thought :(
Diffstat (limited to 'src/theory/theory.h')
-rw-r--r-- | src/theory/theory.h | 1 |
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(); |