diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-05 14:31:11 -0700 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-09-05 16:31:11 -0500 |
| commit | 90b90bdfad8c5fbf0f3208e7282fee6dd58aafc0 (patch) | |
| tree | 2382e87cacab179b7d74225c9a71e7043502911f /src/theory/arith/congruence_manager.h | |
| parent | 1c6b193a3a843b37e5248505f9004f6d1bb0dca7 (diff) | |
Use std::uniqe_ptr for d_eq_infer to make Coverity happy. (#2432)
Diffstat (limited to 'src/theory/arith/congruence_manager.h')
| -rw-r--r-- | src/theory/arith/congruence_manager.h | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/theory/arith/congruence_manager.h b/src/theory/arith/congruence_manager.h index 278c79a2f..11c229399 100644 --- a/src/theory/arith/congruence_manager.h +++ b/src/theory/arith/congruence_manager.h @@ -77,10 +77,11 @@ private: void eqNotifyDisequal(TNode t1, TNode t2, TNode reason) override; }; ArithCongruenceNotify d_notify; - - /** module for shostak normalization, d_eqi_counter is how many pending merges in d_eq_infer we have processed */ - quantifiers::EqualityInference * d_eq_infer; - context::CDO< unsigned > d_eqi_counter; + + /** module for shostak normalization, d_eqi_counter is how many pending merges + * in d_eq_infer we have processed */ + std::unique_ptr<quantifiers::EqualityInference> d_eq_infer; + context::CDO<unsigned> d_eqi_counter; Node d_true; context::CDList<Node> d_keepAlive; |