diff --git a/src/sat/sat_probing.cpp b/src/sat/sat_probing.cpp
index f6fac6db7e8..ee30d0644ad 100644
--- 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();
             }
         }
     }