diff options
Diffstat (limited to 'src/theory/arith/inference_manager.cpp')
| -rw-r--r-- | src/theory/arith/inference_manager.cpp | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/theory/arith/inference_manager.cpp b/src/theory/arith/inference_manager.cpp index 08d223137..e22be81e3 100644 --- a/src/theory/arith/inference_manager.cpp +++ b/src/theory/arith/inference_manager.cpp @@ -69,11 +69,12 @@ void InferenceManager::addPendingArithLemma(const ArithLemma& lemma, void InferenceManager::addPendingArithLemma(const Node& lemma, InferenceId inftype, ProofGenerator* pg, - bool isWaiting) + bool isWaiting, + LemmaProperty p) { - addPendingArithLemma(std::unique_ptr<ArithLemma>(new ArithLemma( - lemma, LemmaProperty::NONE, pg, inftype)), - isWaiting); + addPendingArithLemma( + std::unique_ptr<ArithLemma>(new ArithLemma(lemma, p, pg, inftype)), + isWaiting); } void InferenceManager::flushWaitingLemmas() |