fix #4868

Z3Prover · Dec 7, 2020 · 982da8d · 982da8d
1 parent 6c9bdc9
commit 982da8d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/sat/sat_probing.cpp b/src/sat/sat_probing.cpp
@@ -170,8 +170,7 @@ namespace sat {
             unsigned sz = s.get_wlist(~l).size();
             for (unsigned i = 0; i < sz; ++i) {
                 watch_list& wlist = s.get_wlist(~l);
-                watched & w = wlist[i];
-                sz = wlist.size();
+                watched & w = wlist[i];                
                 if (!w.is_binary_clause())
                     continue;
                 literal l2 = w.get_literal();
@@ -185,6 +184,7 @@ namespace sat {
                     return;
                 if (s.inconsistent())
                     return;
+                sz = wlist.size();
             }
         }
     }