diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-08-22 10:37:50 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-22 10:37:50 -0500 |
| commit | c74797f4cbded274e2dca6fee5e0efb439da03f5 (patch) | |
| tree | 54b54a1e9e468dec4d97673e03be473632ed1549 /src/theory/sep | |
| parent | ab8d44b83e210ed38623a1440e3ef1d318f7d0d0 (diff) | |
Fix invalid iterator comparisons (#2349)
Diffstat (limited to 'src/theory/sep')
| -rw-r--r-- | src/theory/sep/theory_sep.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/theory/sep/theory_sep.cpp b/src/theory/sep/theory_sep.cpp index 6c9c34123..6085b1f23 100644 --- a/src/theory/sep/theory_sep.cpp +++ b/src/theory/sep/theory_sep.cpp @@ -646,7 +646,9 @@ void TheorySep::check(Effort e) { if( assert_active[fact] ){ Assert( atom.getKind()==kind::SEP_LABEL ); TNode s_lbl = atom[1]; - if( d_label_map[s_atom].find( s_lbl )!=d_label_map[s_atom].end() ){ + std::map<Node, std::map<int, Node> >& lms = d_label_map[s_atom]; + if (lms.find(s_lbl) != lms.end()) + { Trace("sep-process-debug") << "Active lbl : " << s_lbl << std::endl; active_lbl[s_lbl] = true; } |