diff options
Diffstat (limited to 'src/theory/theory_engine.cpp')
-rw-r--r-- | src/theory/theory_engine.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/theory_engine.cpp b/src/theory/theory_engine.cpp index c8812b160..7b38bd844 100644 --- a/src/theory/theory_engine.cpp +++ b/src/theory/theory_engine.cpp @@ -1823,7 +1823,7 @@ theory::TrustNode TheoryEngine::getExplanation( if (Trace.isOn("te-proof-exp")) { Trace("te-proof-exp") << "Explanation is:" << std::endl; - for (const Node& e : exp) + for (TNode e : exp) { Trace("te-proof-exp") << " " << e << std::endl; } |