diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-06-08 13:12:52 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-08 13:12:52 -0700 |
| commit | 9dcec275dd58b97c4e484ea8a7978fdf7ea88453 (patch) | |
| tree | 50fef94454c40b6a742b736e445b4c805a1b09f3 /src/theory | |
| parent | 79d0e47c14a9e8213d6c6e112835142cf2417943 (diff) | |
Fix Coverity issues (#4587)
This commit fixes the following Coverity issues:
- 1495606: uninitialized field
- 1495605: uninitialized field
- 1488953: uninitialized field
- 1495604: mismatched iterator
Diffstat (limited to 'src/theory')
| -rw-r--r-- | src/theory/arith/nl/nl_monomial.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/arith/nl/nl_monomial.cpp b/src/theory/arith/nl/nl_monomial.cpp index e8e7aceba..678a94819 100644 --- a/src/theory/arith/nl/nl_monomial.cpp +++ b/src/theory/arith/nl/nl_monomial.cpp @@ -276,7 +276,7 @@ Node MonomialDb::getContainsDiff(Node a, Node b) const { std::map<Node, std::map<Node, Node> >::const_iterator it = d_m_contain_mult.find(a); - if (it == d_m_contain_umult.end()) + if (it == d_m_contain_mult.end()) { return Node::null(); } |