Adding garbage collection for Proof objects. (#1294)

[cvc5.git] / src / theory / theory_engine.cpp

diff --git a/src/theory/theory_engine.cpp b/src/theory/theory_engine.cpp
index 6c49f2914574685ae6c2a7984511316eda620e96..d01bd537ec46b30bd84ad1d84b17b1dbb503f092 100644 (file)
--- 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;