diff options
Diffstat (limited to 'src/theory/arith/callbacks.cpp')
-rw-r--r-- | src/theory/arith/callbacks.cpp | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/theory/arith/callbacks.cpp b/src/theory/arith/callbacks.cpp index 0c9cb6c9c..e1cb1c3ca 100644 --- a/src/theory/arith/callbacks.cpp +++ b/src/theory/arith/callbacks.cpp @@ -172,11 +172,12 @@ RaiseEqualityEngineConflict::RaiseEqualityEngineConflict(TheoryArithPrivate& ta) {} /* If you are not an equality engine, don't use this! */ -void RaiseEqualityEngineConflict::raiseEEConflict(Node n) const{ - d_ta.raiseBlackBoxConflict(n); +void RaiseEqualityEngineConflict::raiseEEConflict( + Node n, std::shared_ptr<ProofNode> pf) const +{ + d_ta.raiseBlackBoxConflict(n, pf); } - BoundCountingLookup::BoundCountingLookup(TheoryArithPrivate& ta) : d_ta(ta) {} |