Fix bad comparison in RE solver's addMembership (#2880)

diff --git a/src/theory/strings/theory_strings.cpp b/src/theory/strings/theory_strings.cpp
index 6300345aec843c3811045fce928c003263288a7b..c84ae404acc49adab3c1efd83c1746a7b9fa3440 100644 (file)
--- a/src/theory/strings/theory_strings.cpp
+++ b/src/theory/strings/theory_strings.cpp
@@ -5108,7 +5108,8 @@ void TheoryStrings::addMembership(Node assertion) {
   if(polarity) {
     int index = 0;
     NodeIntMap::const_iterator it = d_pos_memberships.find( x );
-    if( it!=d_nf_pairs.end() ){
+    if (it != d_pos_memberships.end())
+    {
       index = (*it).second;
       for( int k=0; k<index; k++ ){
         if( k<(int)d_pos_memberships_data[x].size() ){
@@ -5134,7 +5135,8 @@ void TheoryStrings::addMembership(Node assertion) {
     }*/
     int index = 0;
     NodeIntMap::const_iterator it = d_neg_memberships.find( x );
-    if( it!=d_nf_pairs.end() ){
+    if (it != d_neg_memberships.end())
+    {
       index = (*it).second;
       for( int k=0; k<index; k++ ){
         if( k<(int)d_neg_memberships_data[x].size() ){