projects
/
cvc5.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
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;