diff options
Diffstat (limited to 'src/theory/ext_theory.cpp')
| -rw-r--r-- | src/theory/ext_theory.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/theory/ext_theory.cpp b/src/theory/ext_theory.cpp index 7cc8627eb..589ec45c0 100644 --- a/src/theory/ext_theory.cpp +++ b/src/theory/ext_theory.cpp @@ -427,6 +427,7 @@ void ExtTheory::registerTermRec(Node n) // mark reduced void ExtTheory::markReduced(Node n, bool contextDepend) { + Trace("extt-debug") << "Mark reduced " << n << std::endl; registerTerm(n); Assert(d_ext_func_terms.find(n) != d_ext_func_terms.end()); d_ext_func_terms[n] = false; |