diff options
| author | Clark Barrett <barrett@cs.nyu.edu> | 2012-11-17 20:54:30 +0000 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.nyu.edu> | 2012-11-17 20:54:30 +0000 |
| commit | 39020386be1c6cb304a5bfd1eaca37af46bb0bfc (patch) | |
| tree | 792b27a2b2955968e9ccab6fdc8d54abb10c4563 /src/theory/theory.cpp | |
| parent | 2cc71c7863a0c481cf6a4a9e18a59d17b62a905d (diff) | |
Fixed last currently known bug in array models
Diffstat (limited to 'src/theory/theory.cpp')
| -rw-r--r-- | src/theory/theory.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/theory/theory.cpp b/src/theory/theory.cpp index 5dcafff39..f8e2ec777 100644 --- a/src/theory/theory.cpp +++ b/src/theory/theory.cpp @@ -251,6 +251,7 @@ void Theory::collectTerms(TNode n, set<Node>& termSet) if (termSet.find(n) != termSet.end()) { return; } + Trace("theory::collectTerms") << "Theory::collectTerms: adding " << n << endl; termSet.insert(n); if (n.getKind() == kind::NOT || n.getKind() == kind::EQUAL || !isLeaf(n)) { for(TNode::iterator child_it = n.begin(); child_it != n.end(); ++child_it) { |