diff options
| author | Tim King <taking@cs.nyu.edu> | 2017-11-15 02:58:30 -0800 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2017-11-15 02:58:30 -0800 |
| commit | 3c130b44fdecc62b1ace2a739e77f913cd606aa0 (patch) | |
| tree | 6abfb806dd45c83606c04dda5c26e9c410ac2ee1 /src/theory/theory_engine.cpp | |
| parent | 85df7998e4362e0a9c796146d07d7b9e91045a31 (diff) | |
Adding garbage collection for Proof objects. (#1294)
Diffstat (limited to 'src/theory/theory_engine.cpp')
| -rw-r--r-- | src/theory/theory_engine.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/theory/theory_engine.cpp b/src/theory/theory_engine.cpp index 6c49f2914..d01bd537e 100644 --- a/src/theory/theory_engine.cpp +++ b/src/theory/theory_engine.cpp @@ -202,7 +202,8 @@ bool TheoryEngine::EngineOutputChannel::propagate(TNode literal) { } void TheoryEngine::EngineOutputChannel::conflict(TNode conflictNode, - Proof* proof) { + std::unique_ptr<Proof> proof) +{ Trace("theory::conflict") << "EngineOutputChannel<" << d_theory << ">::conflict(" << conflictNode << ")" << std::endl; |